# A Complete Set of Axioms for a Theory of Communicating Sequential Processes

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)

Full text not available from this repository.
Item Type: Book Section 10.1007/3-540-12689-9_98 Q Science > QA Mathematics > QA75 Electronic computers. Computer science Computer Science and Applications Rocco De Nicola 06 Jun 2011 13:51 11 Jul 2011 14:36 http://eprints.imtlucca.it/id/eprint/394