TY  - CHAP
T3  - Lecture Notes in Computer Science
M1  - 158
SP  - 115
PB  - Springer
SN  - 3-540-12689-9
A1  - De Nicola, Rocco
UR  - http://dx.doi.org/10.1007/3-540-12689-9_98
Y1  - 1983///
AV  - none
TI  - A Complete Set of Axioms for a Theory of Communicating Sequential Processes
T2  - Foundations of Computation Theory
ED  - Karpinski, Marek
EP  - 126
ID  - eprints394
ER  -