Networks of Communicating Processes and Their (De-)Composition

• Authors:

• Wei Chen;Jan Tijmen Udding;Tom Verhoeff

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
• Year:
• 1989