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

First Page		Document Content
Date: 2010-08-25 14:16:19 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 Source URL: dream.inf.ed.ac.uk Download Document from Source Website File Size: 1,57 MB Share Document on Facebook