Date: 2010-08-25 14:16:19Theoretical 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 InformaticsAdd to Reading ListSource URL: dream.inf.ed.ac.ukDownload Document from Source Website File Size: 1,57 MBShare Document on Facebook
|