An exercise in proving parallel programs correct

• Authors:

• David Gries

• Affiliations:

• -

• Venue:
• Language Hierarchies and Interfaces, International Summer School
• Year:
• 1975