Kees Middelburg
Kees Middelburg
Guest Researcher, Informatics Institute, University of Amsterdam
Verifierad e-postadress på uva.nl - Startsida
Titel
Citeras av
Citeras av
År
Process algebra with timing
JCM Baeten, CA Middelburg
Springer Science & Business Media, 2013
2232013
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
1142005
Process algebra for hybrid systems
JA Bergstra, CA Middelburg
Theoretical Computer Science 335 (2-3), 215-280, 2005
1142005
Thread algebra for strategic interleaving
JA Bergstra, CA Middelburg
Formal Aspects of Computing 19 (4), 445-474, 2007
932007
Process algebra with timing: real time and discrete time
JCM Baeten, CA Middelburg
Handbook of process algebra, 627-684, 2001
872001
Logic and Specifiction: Extending VDM-SL for Advanced Formal Specification
CA Middelburg
Chapman & Hall, Ltd., 1993
431993
Instruction sequence processing operators
JA Bergstra, CA Middelburg
Acta Informatica 49 (3), 139-172, 2012
412012
Variable binding operators in transition system specifications
CA Middelburg
The Journal of Logic and Algebraic Programming 47 (1), 15-45, 2001
382001
VVSL: A language for structured VDM specifications
CA Middelburg
Formal aspects of computing 1 (1), 115-135, 1989
371989
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
352006
Inversive meadows and divisive meadows
JA Bergstra, CA Middelburg
Journal of Applied Logic 9 (3), 203-220, 2011
342011
Discrete time process algebra and the semantics of SDL
JA Bergstra, CA Middelburg, YS Usenko
Handbook of process algebra, 1209-1268, 2001
292001
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
A survey of paraconsistent logics
CA Middelburg
arXiv preprint arXiv:1103.4324, 2011
272011
A thread algebra with multi-level strategic interleaving
JA Bergstra, CAK Middelburg
Conference on Computability in Europe, 35-48, 2005
272005
Syntax and semantics of VVSL: a language for structured VDM specifications
CA Middelburg
261990
Splitting bisimulations and retrospective conditions
JA Bergstra, CA Middelburg
Information and Computation 204 (7), 1083-1138, 2006
252006
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20