A complete set of axioms for a theory of communicating sequential processes (1983)

by R DE NICOLA
Venue:In Proceedings of FCT ‘83. Lecture Notes in Computer Science