Back to Results
First PageMeta Content



Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics
Add to Reading List

Document Date: 2010-08-17 13:25:22


Open Document

File Size: 1,57 MB

Share Result on Facebook