Syntax and semantics of VVSL : a language for structured VDM specifications / Cornelis Adam MiddelburgProgrammatuur zonder logica / C.A. MiddelburgOn the semantics of modular structuring facilities in specification languages / C.A. MiddelburgTruth of duration calculus formulae in timed frames / C.A. MiddelburgVariable binding operators in transition system specifications / by C.A. MiddelburgOperational conservativity with binding terms / by C.A. MiddelburgRevisiting timing in process algebra / C.A. MiddelburgOperational conservativity with binding terms / C.A. Middelburg ; ed. A. VisserProcess algebra with nonstandard timing / by C.A. MiddelburgProcess algebra with nonstandard timing / C.A. Middelburg
author
A typed logic of partial functions reconstructed classically / C.B. Jones and C.A. MiddelburgProcess algebra semantics of →f⇋SDL / J.A. Bergstra, C.A. Middelburg ; [A. Visser, ed.]Algebra of timed frames / J.A. Bergstra, W.J. Fokkink, C.A. MiddelburgA logic for signal inserted timed frames / J. Bergstra, W. Fokkink, K. MiddelburgDiscrete time process algebra and the semantics of SDL / J.A. Bergstra, C.A. Middelburg, Y.S. UsenkoProcess algebra with timing : real time and discrete time / by J.C.M. Baeten and C.A. MiddelburgReal time process algebra with time-dependent conditions / by J.C.M. Baeten and C.A. MiddelburgReal time process algebra with time-dependent conditions / by J.C.M. Baeten and C.A. MiddelburgA new equivalence for processes with timing / by J.C.M. Baeten, C.A. Middelburg and M.A. ReniersA new equivalence for processes with timing / J.C.M. Baeten, C.A. Middelburg and M.A. ReniersProcess algebra for hybrid systems / by J.A. Bergstra and C.A. MiddelburgLocated actions in process algebra with timing / by J.A. Bergstra and C.A. MiddelburgContinuity controlled hybrid automata / J.A. Bergstra and C.A. MiddelburgProcess algebra for hybrid systems / J.A. Bergstra & C.A. Middelburg