Kees Middelburg
Kees Middelburg
Guest Researcher, Informatics Institute, University of Amsterdam
Adresse e-mail validée de uva.nl - Page d'accueil
Titre
Citée par
Citée par
Année
Process algebra with timing
JCM Baeten, CA Middelburg
Springer Science & Business Media, 2013
2282013
Process algebra for hybrid systems
JA Bergstra, CA Middelburg
Theoretical Computer Science 335 (2-3), 215-280, 2005
1232005
Process algebra for hybrid systems
JA Bergstra, CA Middelburg
Theoretical Computer Science 335 (2-3), 215-280, 2005
1232005
A typed logic of partial functions reconstructed classically
CB Jones, CA Middelburg
Acta informatica 31 (5), 399-430, 1994
1201994
Thread algebra for strategic interleaving
JA Bergstra, CA Middelburg
Formal Aspects of Computing 19 (4), 445-474, 2007
982007
Process algebra with timing: Real time and discrete time
JCM Baeten, CA Middelburg
Handbook of process algebra, 627-684, 2001
902001
Instruction sequence processing operators
JA Bergstra, CA Middelburg
Acta Informatica 49 (3), 139-172, 2012
432012
Logic and Specification Extending Vdm-Sl for Advanced Formal Specification
CA Middelburg
421993
Variable binding operators in transition system specifications
CA Middelburg
The Journal of Logic and Algebraic Programming 47 (1), 15-45, 2001
402001
VVSL: A language for structured VDM specifications
CA Middelburg
Formal aspects of computing 1 (1), 115-135, 1989
391989
Notations for software design
LMG Feijs, HBM Jonkers, CA Middelburg
Springer Science & Business Media, 2012
362012
Thread algebra with multi-level strategies
JA Bergstra, CA Middelburg
Fundamenta Informaticae 71 (2, 3), 153-182, 2006
362006
Inversive meadows and divisive meadows
JA Bergstra, CA Middelburg
Journal of Applied Logic 9 (3), 203-220, 2011
342011
A survey of paraconsistent logics
CA Middelburg
arXiv preprint arXiv:1103.4324, 2011
312011
Discrete time process algebra and the semantics of SDL
JA Bergstra, CA Middelburg, YS Usenko
Handbook of process algebra, 1209-1268, 2001
302001
An alternative formulation of operational conservativity with binding terms
CA Middelburg
The Journal of Logic and Algebraic Programming 55 (1-2), 1-19, 2003
292003
Network algebra for asynchronous dataflow
JA Bergstra, CA Middelburg, GH Ştef [acaron] nescu
International Journal of Computer Mathematics 65 (1-2), 57-88, 1997
28*1997
Splitting bisimulations and retrospective conditions
JA Bergstra, CA Middelburg
Information and Computation 204 (7), 1083-1138, 2006
272006
Syntax and semantics of VVSL: a language for structured VDM specifications
CA Middelburg
271990
Division by zero in non-involutive meadows
JA Bergstra, CA Middelburg
Journal of Applied Logic 13 (1), 1-12, 2015
262015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20