小點 @ 大姑媽's
posted by Peter @ 10:47
0 comments
links to this post
Peter's Blog
in association with peterwong.org.
25 April 2007
About Me
- Name: Peter
- Location: United Kingdom
I am a research student investigating formal approaches for specifying workflow in both business and clinical domains. Currently I am using CSP and Z for formalising and reasoning about properties of workflows.
Previous Posts
GeoVisite
Site Feeds
0 Comments:
Post a Comment
Links to this post:
Create a Link
<< Home