1 results
Bisimulations for non-deterministic labelled Markov processes†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 1 / February 2012
- Published online by Cambridge University Press:
- 26 September 2011, pp. 43-68
-
- Article
- Export citation