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