Skip to content

Verification and Design Aspects of "True" Concurrency.

David W. Mizell

VenueA*POPL
Year1978
ProceedingsPOPL

Browse the full POPL paper archive.