%0 Book Section
%A De Nicola, Rocco
%B Foundations of Computation Theory
%D 1983
%E Karpinski, Marek
%F eprints:394
%I Springer
%P 115-126
%S Lecture Notes in Computer Science
%T A Complete Set of Axioms for a Theory of Communicating Sequential Processes
%U http://eprints.imtlucca.it/394/
%V 158