Interacting processes : a multiparty approach to coordinated distributed programming /
Francez, Nissim.
Forman, Ira R.
Harlow, England : Addison-Wesley,
c1996.
Includes bibliographical references (p. 219-229) and index.
Electronic data processing