Process Algebra with Timing: Real Time and Discrete Time (2000)

by J.C.M. Baeten , C. A. Middelburg , Eindhoven The Netherlands
Venue:Handbook of Process Algebra
Citations:27 - 10 self