TY  - CHAP
EP  - 22
T2  - CONCUR 1991
ED  - C. M. Baeten, Jos
ED  - Friso Groote, Jan
PB  - Springer
N2  - Process algebras are generally recognized as a convenient tool for describing concurrent systems at different levels of abstraction. They rely on a small set of basic operators which correspond to primitive notions on concurrent systems and on one or more notions of behavioural equivalence or preorder. The operators are used to build complex systems from more elementary ones. The behavioural equivalences are used to study the relationships between different descriptions of the same system at different levels of abstractions and thus to perform part of the analysis.
T3  - Lecture Notes in Computer Science
Y1  - 1991///
UR  - http://dx.doi.org/10.1007/3-540-54430-5_77
A1  - De Nicola, Rocco
TI  - Action and State-based Logics for Process Algebras
SN  - 3-540-54430-5
AV  - none
M1  - 527
ID  - eprints375
SP  - 20
ER  -