A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
- 28 July 1998
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 202 (1-2) , 1-54
- https://doi.org/10.1016/s0304-3975(97)00127-8
Abstract
No abstract availableKeywords
This publication has 38 references indexed in Scilit:
- Probabilistic communicating processesTheoretical Computer Science, 1995
- Probabilistic and prioritized models of timed CSPTheoretical Computer Science, 1995
- Formal Characterisation of Immediate Actions in SPA with Nondeterministic BranchingThe Computer Journal, 1995
- Processes with probabilities, priority and timeFormal Aspects of Computing, 1994
- LOTOS extended with probabilistic behavioursFormal Aspects of Computing, 1993
- TIC: A timed calculusFormal Aspects of Computing, 1993
- Specification styles in distributed systems design and verificationTheoretical Computer Science, 1991
- Real time process algebraFormal Aspects of Computing, 1991
- An implementation of an efficient algorithm for bisimulation equivalenceScience of Computer Programming, 1990
- Algebraic theory of processes : By M. Hennessy. MIT Press, Cambridge, MA, 1988, Price £16.95 (paperback), ISBN 0-262-08171-7.Science of Computer Programming, 1989