Extended Naming Conventions for Communicating Processes

Nissim Francez. Extended Naming Conventions for Communicating Processes. In POPL. pages 40-45, 1982.

Abstract

Abstract is missing.