Middelburg, Cornelis Adam

On the semantics of modular structuring facilities in specification languages / C.A. Middelburgschema:ProductModel Operational conservativity with binding terms / by C.A. Middelburgschema:ProductModel Operational conservativity with binding terms / C.A. Middelburg ; ed. A. Visserschema:ProductModel Process algebra with nonstandard timing / by C.A. Middelburgschema:ProductModel Process algebra with nonstandard timing / C.A. Middelburgschema:ProductModel Programmatuur zonder logica / C.A. Middelburgschema:ProductModel Revisiting timing in process algebra / C.A. Middelburgschema:ProductModel Syntax and semantics of VVSL : a language for structured VDM specifications / Cornelis Adam Middelburgschema:ProductModel Truth of duration calculus formulae in timed frames / C.A. Middelburgschema:ProductModel Variable binding operators in transition system specifications / by C.A. Middelburgschema:ProductModel

A logic for signal inserted timed frames / J. Bergstra, W. Fokkink, K. Middelburgschema:ProductModel A new equivalence for processes with timing / by J.C.M. Baeten, C.A. Middelburg and M.A. Reniersschema:ProductModel A new equivalence for processes with timing / J.C.M. Baeten, C.A. Middelburg and M.A. Reniersschema:ProductModel A typed logic of partial functions reconstructed classically / C.B. Jones and C.A. Middelburgschema:ProductModel Algebra of timed frames / J.A. Bergstra, W.J. Fokkink, C.A. Middelburgschema:ProductModel Continuity controlled hybrid automata / J.A. Bergstra and C.A. Middelburgschema:ProductModel Discrete time process algebra and the semantics of SDL / J.A. Bergstra, C.A. Middelburg, Y.S. Usenkoschema:ProductModel Located actions in process algebra with timing / by J.A. Bergstra and C.A. Middelburgschema:ProductModel Process algebra for hybrid systems / by J.A. Bergstra and C.A. Middelburgschema:ProductModel Process algebra for hybrid systems / J.A. Bergstra & C.A. Middelburgschema:ProductModel Process algebra semantics of →f⇋SDL / J.A. Bergstra, C.A. Middelburg ; [A. Visser, ed.]schema:ProductModel Process algebra with timing : real time and discrete time / by J.C.M. Baeten and C.A. Middelburgschema:ProductModel Real time process algebra with time-dependent conditions / by J.C.M. Baeten and C.A. Middelburgschema:ProductModel Real time process algebra with time-dependent conditions / by J.C.M. Baeten and C.A. Middelburgschema:ProductModel