Two complete axiom systems for a theory of communicating sequential processes.
Series: Internal report -- CSR-154-83
Publisher: Dept. ofComputer Science, Univ. of Edinburgh
Published: 1983
Place of publication: Edinburgh
Language: eng
Number of pages: 38