LOTOS extended with probabilistic behaviours

DOI10.1007/BF01211557zbMath0774.68038OpenAlexW2011771887MaRDI QIDQ1261318

Leon Vidaller, Carlos Miguel, Ángel Nepomuceno-Fernández

Publication date: 11 November 1993

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01211557

zbMATH Keywords

concurrent systemsprocess algebrasnon-determinismLOTOS

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items

A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time, Probabilistic communicating processes, Process algebra for performance evaluation

Uses Software

• LOTOS

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