Philippe Jorrand. Communication as Unification in Process Algebras: Operational Semantics (Invited Paper). In Dines Bjørner, Manfred Broy, Igor V. Pottosin, editors, Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Volume 735 of Lecture Notes in Computer Science, pages 190-216, Springer, 1993.
Abstract is missing.