A calculus for communicating systems with time and probabilities
- 1 January 1990
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 458, 278-287
- https://doi.org/10.1109/real.1990.128759
Abstract
A process algebra that extends R. Milner's (1983) calculus of communicating systems (CCS) with probabilities and time is presented. With this calculus it is possible to describe real-time and reliability aspects of distributed systems. A (strong) bisimulation equivalence is defined, and a corresponding complete axiomatization is given. Several examples are included.Keywords
This publication has 13 references indexed in Scilit:
- A temporal calculus of communicating systemsPublished by Springer Nature ,2005
- Real-time behaviour of asynchronous agentsPublished by Springer Nature ,2005
- Reactive, generative, and stratified models of probabilistic processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The timed failures — Stability model for CSPTheoretical Computer Science, 1999
- Bisimulation through probabilistic testingInformation and Computation, 1991
- Timed acceptances: A model of time dependent processesLecture Notes in Computer Science, 1988
- Automatic verification of probabilistic concurrent finite state programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Process algebra for synchronous communicationInformation and Control, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983