Kees Middelburg

Jan A. Bergstra, C. A. Middelburg: Instruction sequence based non-uniform complexity classes. CoRR abs/1301.3297 (2013)

Jan A. Bergstra, C. A. Middelburg, Gheorghe Stefanescu: Network algebra for synchronous dataflow. CoRR abs/1303.0382 (2013)

Jan A. Bergstra, C. A. Middelburg: Instruction sequence processing operators. Acta Inf. 49(3): 139-172 (2012)

Jan A. Bergstra, C. A. Middelburg: On the Behaviours Produced by Instruction Sequences under Execution. Fundam. Inform. 120(2): 111-144 (2012)

Jan A. Bergstra, C. A. Middelburg: On the Expressiveness of Single-Pass Instruction Sequences. Theory Comput. Syst. 50(2): 313-328 (2012)

Jan A. Bergstra, C. A. Middelburg: Turing Impossibility Properties for Stack Machine Programming. CoRR abs/1201.6028 (2012)

Jan A. Bergstra, C. A. Middelburg: Process algebra with conditionals in the presence of epsilon. CoRR abs/1204.3249 (2012)

Jan A. Bergstra, Cornelis A. Middelburg: Thread Extraction for Polyadic Instruction Sequences. Sci. Ann. Comp. Sci. 21(2): 283-310 (2011)

Jan A. Bergstra, C. A. Middelburg: Thread algebra for poly-threading. Formal Asp. Comput. 23(4): 567-583 (2011)

Jan A. Bergstra, C. A. Middelburg: Inversive meadows and divisive meadows. J. Applied Logic 9(3): 203-220 (2011)

C. A. Middelburg: A Survey of Paraconsistent Logics. CoRR abs/1103.4324 (2011)

Jan A. Bergstra, C. A. Middelburg: On the behaviours produced by instruction sequences under execution. CoRR abs/1106.6196 (2011)

Jan A. Bergstra, C. A. Middelburg: An Interface Group for Process Components. Fundam. Inform. 99(4): 355-382 (2010)

Jan A. Bergstra, C. A. Middelburg: Data Linkage Dynamics with Shedding. Fundam. Inform. 103(1-4): 31-52 (2010)

Jan A. Bergstra, C. A. Middelburg: A thread calculus with molecular dynamics. Inf. Comput. 208(7): 817-844 (2010)

Jan A. Bergstra, C. A. Middelburg: On the operating unit size of load/store architectures. Mathematical Structures in Computer Science 20(3): 395-417 (2010)

C. A. Middelburg: Searching publications on operating systems. CoRR abs/1003.5525 (2010)

Jan A. Bergstra, C. A. Middelburg: On the definition of a theoretical concept of an operating system. CoRR abs/1006.0813 (2010)

C. A. Middelburg: Searching publications on software testing. CoRR abs/1008.2647 (2010)

Jan A. Bergstra, C. A. Middelburg: Machine structure oriented control code logic. Acta Inf. 46(5): 375-401 (2009)

Jan A. Bergstra, C. A. Middelburg: Instruction Sequences with Dynamically Instantiated Instructions. Fundam. Inform. 96(1-2): 27-48 (2009)

Jan A. Bergstra, C. A. Middelburg: Transmission Protocols for Instruction Streams. ICTAC 2009: 127-139

Jan A. Bergstra, C. A. Middelburg: Timed tuplix calculus and the Wesseling and van den Berg equation. CoRR abs/0901.3003 (2009)

Jan A. Bergstra, C. A. Middelburg: Meadow Enriched ACP Process Algebras. CoRR abs/0901.3012 (2009)

Jan A. Bergstra, C. A. Middelburg: Transmission protocols for instruction streams. CoRR abs/0902.2859 (2009)

Jan A. Bergstra, C. A. Middelburg: A process calculus with finitary comprehended terms. CoRR abs/0903.2914 (2009)

Jan A. Bergstra, C. A. Middelburg: A protocol for instruction stream processing. CoRR abs/0905.2257 (2009)

Jan A. Bergstra, C. A. Middelburg: Instruction sequence notations with probabilistic instructions. CoRR abs/0906.3083 (2009)

Jan A. Bergstra, C. A. Middelburg: Arithmetical meadows. CoRR abs/0909.2088 (2009)

Jan A. Bergstra, C. A. Middelburg: Indirect jumps improve instruction sequence performance. CoRR abs/0909.2089 (2009)

Jan A. Bergstra, C. A. Middelburg: Instruction sequence processing operators. CoRR abs/0910.5564 (2009)

Jan A. Bergstra, C. A. Middelburg: Functional units for natural numbers. CoRR abs/0911.1851 (2009)

Jan A. Bergstra, C. A. Middelburg: Autosolvability of halting problem instances for instruction sequences. CoRR abs/0911.5018 (2009)

Jan A. Bergstra, C. A. Middelburg: Parallel Processes with Implicit Computational Capital. Electr. Notes Theor. Comput. Sci. 209: 55-81 (2008)

Jan A. Bergstra, C. A. Middelburg: Distributed strategic interleaving with load balancing. Future Generation Comp. Syst. 24(6): 530-548 (2008)

Jan A. Bergstra, C. A. Middelburg: Simulating Turing machines on Maurer machines. J. Applied Logic 6(1): 1-23 (2008)

Jan A. Bergstra, C. A. Middelburg: Program algebra with a jump-shift instruction. J. Applied Logic 6(4): 553-563 (2008)

Jan A. Bergstra, C. A. Middelburg: Maurer computers for pipelined instruction processing. Mathematical Structures in Computer Science 18(2): 373-409 (2008)

Jan A. Bergstra, C. A. Middelburg: Programming an interpreter using molecular dynamics. CoRR abs/0801.2226 (2008)

Jan A. Bergstra, Kees Middelburg: Thread extraction for polyadic instruction sequences. CoRR abs/0802.1578 (2008)

Jan A. Bergstra, C. A. Middelburg: Thread algebra for sequential poly-threading. CoRR abs/0803.0378 (2008)

Jan A. Bergstra, C. A. Middelburg: Data linkage algebra, data linkage dynamics, and priority rewriting. CoRR abs/0804.4565 (2008)

Jan A. Bergstra, C. A. Middelburg: Data linkage dynamics with shedding. CoRR abs/0806.4034 (2008)

Jan A. Bergstra, C. A. Middelburg: Instruction sequences and non-uniform complexity theory. CoRR abs/0809.0352 (2008)

Jan A. Bergstra, C. A. Middelburg: On the expressiveness of single-pass instruction sequences. CoRR abs/0810.1106 (2008)

Jan A. Bergstra, C. A. Middelburg: Instruction sequences for the production of processes. CoRR abs/0811.0436 (2008)

Jan A. Bergstra, C. A. Middelburg: Synchronous cooperation for explicit multi-threading. Acta Inf. 44(7-8): 525-569 (2007)

Jan A. Bergstra, C. A. Middelburg: Instruction Sequences with Indirect Jumps. Sci. Ann. Comp. Sci. 17: 19-46 (2007)

Jan A. Bergstra, C. A. Middelburg: Programming an Interpreter Using Molecular Dynamics. Sci. Ann. Comp. Sci. 17: 47-81 (2007)

Jan A. Bergstra, C. A. Middelburg: Thread algebra for strategic interleaving. Formal Asp. Comput. 19(4): 445-474 (2007)

Jan A. Bergstra, C. A. Middelburg: Maurer Computers with Single-Thread Control. Fundam. Inform. 80(4): 333-362 (2007)

Jan A. Bergstra, C. A. Middelburg: Preferential choice and coordination conditions. J. Log. Algebr. Program. 70(2): 172-200 (2007)

Jan A. Bergstra, C. A. Middelburg: A Thread Algebra with Multi-Level Strategic Interleaving. Theory Comput. Syst. 41(1): 3-32 (2007)

Jan A. Bergstra, C. A. Middelburg: Instruction sequences with indirect jumps. CoRR abs/0711.0829 (2007)

Jan A. Bergstra, C. A. Middelburg: An interface group for process components. CoRR abs/0711.0834 (2007)

Jan A. Bergstra, C. A. Middelburg: Machine structure oriented control code logic. CoRR abs/0711.0836 (2007)

Jan A. Bergstra, C. A. Middelburg: On the operating unit size of load/store architectures. CoRR abs/0711.0838 (2007)

Jan A. Bergstra, C. A. Middelburg: A thread calculus with molecular dynamics. CoRR abs/0711.0840 (2007)

Jan A. Bergstra, C. A. Middelburg: Instruction Sequences with Dynamically Instantiated Instructions. CoRR abs/0711.4217 (2007)

Jan A. Bergstra, C. A. Middelburg: Program algebra with a jump-shift instruction. CoRR abs/0712.1658 (2007)

C. A. Middelburg: Conditionals in Algebraic Process Calculi. Electr. Notes Theor. Comput. Sci. 162: 237-241 (2006)

Jan A. Bergstra, C. A. Middelburg: Thread Algebra with Multi-Level Strategies. Fundam. Inform. 71(2-3): 153-182 (2006)

Jan A. Bergstra, C. A. Middelburg: Splitting bisimulations and retrospective conditions. Inf. Comput. 204(7): 1083-1138 (2006)

Jan A. Bergstra, C. A. Middelburg: Continuity controlled hybrid automata. J. Log. Algebr. Program. 68(1-2): 5-53 (2006)

Jan A. Bergstra, C. A. Middelburg: Process algebra for hybrid systems. Theor. Comput. Sci. 335(2-3): 215-280 (2005)

Jan A. Bergstra, C. A. Middelburg: Model Theory for Process Algebra. Processes, Terms and Cycles 2005: 445-495

Jan A. Bergstra, C. A. Middelburg: Strong Splitting Bisimulation Equivalence. CALCO 2005: 83-97

Jan A. Bergstra, C. A. Middelburg: A Thread Algebra with Multi-level Strategic Interleaving. CiE 2005: 35-48

Jan A. Bergstra, C. A. Middelburg: Located Actions in Process Algebra with Timing. Fundam. Inform. 61(3-4): 183-211 (2004)

C. A. Middelburg: Revisiting timing in process algebra. J. Log. Algebr. Program. 54(1-2): 109-127 (2003)

C. A. Middelburg: An alternative formulation of operational conservativity with binding terms. J. Log. Algebr. Program. 55(1-2): 1-19 (2003)

Kees Middelburg: Process Algebra with Nonstandard Timing. Fundam. Inform. 53(1): 55-77 (2002)

C. A. Middelburg: Variable binding operators in transition system specifications. J. Log. Algebr. Program. 47(1): 15-45 (2001)

Jos C. M. Baeten, C. A. Middelburg: Real time process algebra with time-dependent conditions. J. Log. Algebr. Program. 48(1-2): 1-38 (2001)

C. A. Middelburg: Truth of Duration Calculus Formulae in Timed Frames. Fundam. Inform. 36(2-3): 235-263 (1998)

Loe M. G. Feijs, Hans Jonkers, C. A. Middelburg: Notations for software design. FACIT: Formal approaches to computing and information technology, Springer 1994, isbn 978-3-540-19902-1, pp. I-XII, 1-425

Cliff B. Jones, C. A. Middelburg: A Typed Logic of Partial Functions Reconstructed Classically. Acta Inf. 31(5): 399-430 (1994)

Wiet Bouma, Willem J. M. Levelt, Alfo Melisse, Kees Middelburg, Louis Verhaard: Formalisation of Properties for Feature Interaction Detection: Experience in a Real-Life Situation. IS&N 1994: 393-405

D. J. Andrews, Jan Friso Groote, C. A. Middelburg (Eds.): Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993. Workshops in Computing, Springer 1994, isbn 3-540-19854-7

C. A. Middelburg: Modular Structuring of VDM Specifications in VVSL. Formal Asp. Comput. 4(1): 13-47 (1992)

C. A. Middelburg, Gerard R. Renardel de Lavalette: LPF and MPL_omega - A Logical Comparison of VDM SL and COLD-K. VDM Europe (1) 1991: 279-308

C. A. Middelburg: VVSL: A Language for Structured VDM Specifications. Formal Asp. Comput. 1(1): 115-135 (1989)

C. A. Middelburg: Experiences with Combining Formalisms in VVSL. Algebraic Methods 1989: 83-103

Kees Middelburg: The VIP VDM Specification Language. VDM Europe 1988: 187-201