DMCA

Real Time Process Algebra with Time-dependent Conditions

by J.C.M. Baeten , C. A. Middelburg