TITLE     : A complete set of axioms for a theory of communicating sequential processes
AUTHOR(S) : De Nicola R
TYPE      : Contribution to book
YEAR      : 1983
CODE      : 420969

*** DO NOT EDIT THIS FILE ***