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