Nissim Francez Extended Naming Conventions for Communicating Processes. 101-114 1983 3 Sci. Comput. Program. 1 db/journals/scp/scp3.html#Francez83