We went to Zizzi in Leamington for Mark's graduation celebration!! The food was not terribly good and the overal it was a good dinner ^_^ Congratulation Mark!!
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.
0 Comments:
Post a Comment
Links to this post:
Create a Link
<< Home