Skip to content

Concurrent Transition System Semantics of Process Networks.

Eugene W. Stark

VenueA*POPL
Year1987
ProceedingsPOPL

Browse the full POPL paper archive.