A theory of conjunction and concurrency (1990)

by C A R Hoare
Venue:PARBASE