DocumentCode
2833033
Title
A calculus for communicating systems with time and probabilities
Author
Hansson, Hans ; Jonsson, Bengt
Author_Institution
Swedish Inst. of Comput. Sci., Kista, Sweden
fYear
1990
fDate
5-7 Dec 1990
Firstpage
278
Lastpage
287
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems Symposium, 1990. Proceedings., 11th
Conference_Location
Lake Buena Vista, FL
Print_ISBN
0-8186-2112-5
Type
conf
DOI
10.1109/REAL.1990.128759
Filename
128759
Link To Document