relation: http://eprints.imtlucca.it/394/
title: A Complete Set of Axioms for a Theory of Communicating Sequential Processes
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
publisher: Springer
contributor: Karpinski, Marek
date: 1983
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco  A Complete Set of Axioms for a Theory of Communicating Sequential Processes.   In:  Foundations of Computation Theory.   Lecture Notes in Computer Science, 158 .  Springer, pp. 115-126.  ISBN 3-540-12689-9      (1983)  
relation: http://dx.doi.org/10.1007/3-540-12689-9_98
relation: 10.1007/3-540-12689-9_98