TY  - CHAP
PB  - Springer
T2  - CONCUR 1991
ED  - C. M. Baeten, Jos
ED  - Friso Groote, Jan
SN  - 3-540-54430-5
EP  - 22
ID  - eprints375
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.
Y1  - 1991///
M1  - 527
A1  - De Nicola, Rocco
UR  - http://dx.doi.org/10.1007/3-540-54430-5_77
AV  - none
T3  - Lecture Notes in Computer Science
SP  - 20
TI  - Action and State-based Logics for Process Algebras
ER  -