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:33 - 11 self