Partial-Order Process Algebra (and its Relation to Petri Nets) (2000)

by J.C.M. Baeten , T. Basten
Venue:Handbook of Process Algebra. Elsevier Science
Citations:5 - 1 self