Title :
A calculus for communicating systems with time and probabilities
Author :
Hansson, Hans ; Jonsson, Bengt
Author_Institution :
Swedish Inst. of Comput. Sci., Kista, Sweden
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 :
distributed processing; programming theory; real-time systems; bisimulation equivalence; calculus for communicating systems; complete axiomatization; distributed systems; probabilities; process algebra; real-time aspects; reliability aspects; time; Algebra; Calculus; Carbon capture and storage; Computer science; Control systems; Equations; Probability; Real time systems; Silicon carbide; Timing;
Conference_Titel :
Real-Time Systems Symposium, 1990. Proceedings., 11th
Conference_Location :
Lake Buena Vista, FL
Print_ISBN :
0-8186-2112-5
DOI :
10.1109/REAL.1990.128759
