Process algebra with timing: real time and discrete time (2001)

by J. C. M. Baeten , C. A. Middelburg
Venue:Smolka (Eds.), Handbook of Process Algebra
Citations:27 - 10 self