Skip to content

Semantics for Concurrency without Powerdomains.

Frank J. Oles

VenueA*POPL
Year1987
ProceedingsPOPL

Browse the full POPL paper archive.