Communication as Unification in Process Algebras: Operational Semantics (Invited Paper).

Published in: Formal Methods in Programming and Their Applications (1993)

Keyphrases