LOTOS extended with probabilistic behaviours
From MaRDI portal
Publication:1261318
DOI10.1007/BF01211557zbMath0774.68038MaRDI QIDQ1261318
Carlos Miguel, Leon Vidaller, Ángel Nepomuceno-Fernández
Publication date: 11 November 1993
Published in: Formal Aspects of Computing (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Related Items
Process algebra for performance evaluation, Probabilistic communicating processes, A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
Uses Software
Cites Work
- Algebra of communicating processes with abstraction
- Bisimulation through probabilistic testing
- TIC: a tImed calculus
- Testing equivalences for processes
- CIRCAL and the representation of communication, concurrency, and time
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item