|
Thursday, 18 September 2008 09:16 |
Selected Publications
|
|
Last Updated on Monday, 08 March 2010 18:05 |
|
Read more...
|
|
Trace Theory of Coalgebras |
|
Sunday, 31 January 2010 11:48 |
|
Trace theory is concerned with assigning transition systems a semantics in trace monoids. Informally, trace monoids are word monoids generated from an independence relation, analogous to parallelism in concurrency. Generic trace theory seeks to extends trace theory to arbitrary transition systems, that formally are Set-based coalgebras.
|
|
Last Updated on Tuesday, 06 April 2010 09:28 |
|
Read more...
|
|
Sunday, 27 September 2009 09:40 |
|
I am a member of the following societies.
|
|
Last Updated on Thursday, 23 December 2010 14:14 |
|
Thursday, 17 June 2010 08:53 |
My Research Group
Coauthors
Other Colleagues
|
|
Last Updated on Thursday, 17 June 2010 14:52 |