Back to Results
First PageMeta Content
Theoretical computer science / Markov models / Formal methods / Graph theory / Markov chain / Process calculus / Semantics / Stochastic process / Mathematics


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-25 14:16:19


Open Document

File Size: 1,57 MB

Share Result on Facebook