Flow Event Structures and Flow Nets (1990)

by G Boudol
Venue:In Semantics of System of Concurrent Processes, volume 469 of LNCS