Interacting processes : a multiparty approach to coordinated distributed programming - FRANCEZ; FORMAN (England: Addison Wesley, 1996)
Keywords: Electronic data processing -- -- Distributed processing