An exercise in concurrency: a CSP process as a condition/event system

• Authors:

• P. Degano;R. Gorrieri;S. Marchetti

• Affiliations:

• -;-;-

• Venue:
• Advances in Petri Nets 1988
• Year:
• 1988