Partial-order process algebra (and its relation to Petri nets (0)

by J Baeten, A Basten
Venue:Handbook of Process Algebra, Elsevier, 2001