Concurrent program schemas and their interpretation (1977)

by A Mazurkiewicz
Venue:In Proc. Aarhus Workshop on Verification of Parallel Programs