Kees Middelburg
Kees Middelburg
Guest Researcher, Informatics Institute, University of Amsterdam
Verifierad e-postadress på uva.nl - Startsida
TitelCiteras avÅr
Process algebra with timing
JCM Baeten, CA Middelburg
Springer Science & Business Media, 2013
2212013
A typed logic of partial functions reconstructed classically
CB Jones, CA Middelburg
Acta informatica 31 (5), 399-430, 1994
1151994
Process algebra for hybrid systems
JA Bergstra, CA Middelburg
Theoretical Computer Science 335 (2-3), 215-280, 2005
1132005
Process algebra for hybrid systems
JA Bergstra, CA Middelburg
Theoretical Computer Science 335 (2-3), 215-280, 2005
1122005
Thread algebra for strategic interleaving
JA Bergstra, CA Middelburg
Formal Aspects of Computing 19 (4), 445-474, 2007
892007
Process algebra with timing: real time and discrete time
JCM Baeten, CA Middelburg
Handbook of process algebra, 627-684, 2001
862001
Logic and Specification: Extending VDM-SL for advanced formal specification
CA Middelburg
Chapman & Hall, 1993
421993
Variable binding operators in transition system specifications
CA Middelburg
The Journal of Logic and Algebraic Programming 47 (1), 15-45, 2001
392001
Instruction sequence processing operators
JA Bergstra, CA Middelburg
Acta Informatica 49 (3), 139-172, 2012
372012
Notations for software design
LMG Feijs, HBM Jonkers, CA Middelburg
Springer Science & Business Media, 2012
352012
VVSL: A language for structured VDM specifications
CA Middelburg
Formal aspects of computing 1 (1), 115-135, 1989
351989
Thread algebra with multi-level strategies
JA Bergstra, CA Middelburg
Fundamenta Informaticae 71 (2, 3), 153-182, 2006
342006
An alternative formulation of operational conservativity with binding terms
CA Middelburg
The Journal of Logic and Algebraic Programming 55 (1-2), 1-19, 2003
282003
Discrete time process algebra and the semantics of SDL
JA Bergstra, CA Middelburg, YS Usenko
Handbook of process algebra, 1209-1268, 2001
282001
Inversive meadows and divisive meadows
JA Bergstra, CA Middelburg
Journal of Applied Logic 9 (3), 203-220, 2011
272011
A thread algebra with multi-level strategic interleaving
JA Bergstra, CAK Middelburg
Conference on Computability in Europe, 35-48, 2005
272005
Splitting bisimulations and retrospective conditions
JA Bergstra, CA Middelburg
Information and Computation 204 (7), 1083-1138, 2006
262006
Network algebra for asynchronous dataflow
JA Bergstra, CA Middelburg, GH Ştef [acaron] nescu
International Journal of Computer Mathematics 65 (1-2), 57-88, 1997
25*1997
Process Algebra Semantics of FSDL
JA Bergstra, CA Middelburg, A Visser
Department of Philosophy, Utrecht University, 1995
251995
Syntax and semantics of VVSL: a language for structured VDM specifications
CA Middelburg
251990
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20