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

Rocco De Nicola

Browse the full FCT paper archive.