%B Foundations of Computation Theory
%R 10.1007/3-540-12689-9_98
%S Lecture Notes in Computer Science
%A Rocco De Nicola
%D 1983
%L eprints394
%E Marek Karpinski
%I Springer
%V 158
%P 115-126
%T A Complete Set of Axioms for a Theory of Communicating Sequential Processes