Follow
Kees Middelburg
Kees Middelburg
Guest Researcher, Informatics Institute, University of Amsterdam
Verified email at uva.nl - Homepage
Title
Cited by
Cited by
Year
Process algebra with timing
JCM Baeten, CA Middelburg
Springer Science & Business Media, 2013
2352013
Process algebra for hybrid systems
JA Bergstra, CA Middelburg
theoretical computer science 335 (2-3), 215-280, 2005
1292005
Process algebra for hybrid systems
JA Bergstra, CA Middelburg
theoretical computer science 335 (2-3), 215-280, 2005
1292005
A typed logic of partial functions reconstructed classically
CB Jones, CA Middelburg
Acta informatica 31, 399-430, 1994
1251994
Process algebra with timing: real time and discrete time
JCM Baeten, CA Middelburg
Handbook of process algebra, 627-684, 2001
912001
Thread algebra for strategic interleaving
JA Bergstra, CA Middelburg
Formal Aspects of Computing 19, 445-474, 2007
882007
Instruction sequence processing operators
JA Bergstra, CA Middelburg
Acta Informatica 49, 139-172, 2012
522012
Inversive meadows and divisive meadows
JA Bergstra, CA Middelburg
Journal of Applied Logic 9 (3), 203-220, 2011
492011
Variable binding operators in transition system specifications
CA Middelburg
The Journal of Logic and Algebraic Programming 47 (1), 15-45, 2001
422001
Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification
CA Middelburg
Chapman & Hall, Ltd., 1993
421993
Notations for software design
LMG Feijs, HBM Jonkers, CA Middelburg
Springer Science & Business Media, 2012
402012
VVSL: A language for structured VDM specifications
CA Middelburg
Formal aspects of computing 1, 115-135, 1989
391989
Thread algebra with multi-level strategies
JA Bergstra, CA Middelburg
Fundamenta Informaticae 71 (2-3), 153-182, 2006
352006
Discrete time process algebra and the semantics of SDL
JA Bergstra, CA Middelburg, YS Usenko
Handbook of process algebra, 1209-1268, 2001
352001
Syntax and semantics of VVSL: a language for structured VDM specifications
CA Middelburg
351990
A survey of paraconsistent logics
CA Middelburg
arXiv preprint arXiv:1103.4324, 2011
332011
An alternative formulation of operational conservativity with binding terms
CA Middelburg
The Journal of Logic and Algebraic Programming 55 (1-2), 1-19, 2003
312003
Network algebra for asynchronous dataflow
JA Bergstra, CA Middelburg, GH Ştef [acaron] nescu
International Journal of Computer Mathematics 65 (1-2), 57-88, 1997
30*1997
Division by zero in non-involutive meadows
JA Bergstra, CA Middelburg
Journal of Applied Logic 13 (1), 1-12, 2015
282015
Splitting bisimulations and retrospective conditions
JA Bergstra, CA Middelburg
Information and Computation 204 (7), 1083-1138, 2006
282006
The system can't perform the operation now. Try again later.
Articles 1–20