![Theoretical computer science / Markov models / Formal methods / Graph theory / Markov chain / Process calculus / Semantics / Stochastic process / Mathematics Theoretical computer science / Markov models / Formal methods / Graph theory / Markov chain / Process calculus / Semantics / Stochastic process / Mathematics](https://www.pdfsearch.io/img/c74b85c88dbfc1f184bc40d6915511f4.jpg) 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
|