Algebraic specifications and proofs for communicating sequential processes

• Authors:

• C. A. R. Hoare

• Affiliations:

• -

• Venue:
• Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
• Year:
• 1987