Kees Middelburg

C. A. Middelburg

	2009
59		Jan A. Bergstra, C. A. Middelburg: Transmission Protocols for Instruction Streams. ICTAC 2009: 127-139
58		Jan A. Bergstra, C. A. Middelburg: Machine structure oriented control code logic. Acta Inf. 46(5): 375-401 (2009)
57		Jan A. Bergstra, C. A. Middelburg: Timed tuplix calculus and the Wesseling and van den Berg equation CoRR abs/0901.3003: (2009)
56		Jan A. Bergstra, C. A. Middelburg: Meadow Enriched ACP Process Algebras CoRR abs/0901.3012: (2009)
55		Jan A. Bergstra, C. A. Middelburg: Transmission protocols for instruction streams CoRR abs/0902.2859: (2009)
54		Jan A. Bergstra, C. A. Middelburg: A process calculus with finitary comprehended terms CoRR abs/0903.2914: (2009)
53		Jan A. Bergstra, C. A. Middelburg: A protocol for instruction stream processing CoRR abs/0905.2257: (2009)
52		Jan A. Bergstra, C. A. Middelburg: Instruction sequence notations with probabilistic instructions CoRR abs/0906.3083: (2009)
51		Jan A. Bergstra, C. A. Middelburg: Arithmetical meadows CoRR abs/0909.2088: (2009)
50		Jan A. Bergstra, C. A. Middelburg: Indirect jumps improve instruction sequence performance CoRR abs/0909.2089: (2009)
49		Jan A. Bergstra, C. A. Middelburg: Instruction sequence processing operators CoRR abs/0910.5564: (2009)
	2008
48		Jan A. Bergstra, C. A. Middelburg: Programming an interpreter using molecular dynamics CoRR abs/0801.2226: (2008)
47		Jan A. Bergstra, Kees Middelburg: Thread extraction for polyadic instruction sequences CoRR abs/0802.1578: (2008)
46		Jan A. Bergstra, C. A. Middelburg: Thread algebra for sequential poly-threading CoRR abs/0803.0378: (2008)
45		Jan A. Bergstra, C. A. Middelburg: Data linkage algebra, data linkage dynamics, and priority rewriting CoRR abs/0804.4565: (2008)
44		Jan A. Bergstra, C. A. Middelburg: Data linkage dynamics with shedding CoRR abs/0806.4034: (2008)
43		Jan A. Bergstra, C. A. Middelburg: Instruction sequences and non-uniform complexity theory CoRR abs/0809.0352: (2008)
42		Jan A. Bergstra, C. A. Middelburg: On the expressiveness of single-pass instruction sequences CoRR abs/0810.1106: (2008)
41		Jan A. Bergstra, C. A. Middelburg: Instruction sequences for the production of processes CoRR abs/0811.0436: (2008)
40		Jan A. Bergstra, C. A. Middelburg: Parallel Processes with Implicit Computational Capital. Electr. Notes Theor. Comput. Sci. 209: 55-81 (2008)
39		Jan A. Bergstra, C. A. Middelburg: Distributed strategic interleaving with load balancing. Future Generation Comp. Syst. 24(6): 530-548 (2008)
38		Jan A. Bergstra, C. A. Middelburg: Simulating Turing machines on Maurer machines. J. Applied Logic 6(1): 1-23 (2008)
37		Jan A. Bergstra, C. A. Middelburg: Program algebra with a jump-shift instruction. J. Applied Logic 6(4): 553-563 (2008)
36		Jan A. Bergstra, C. A. Middelburg: Maurer computers for pipelined instruction processing. Mathematical Structures in Computer Science 18(2): 373-409 (2008)
	2007
35		Jan A. Bergstra, C. A. Middelburg: Synchronous cooperation for explicit multi-threading. Acta Inf. 44(7-8): 525-569 (2007)
34		Jan A. Bergstra, C. A. Middelburg: Instruction sequences with indirect jumps CoRR abs/0711.0829: (2007)
33		Jan A. Bergstra, C. A. Middelburg: An interface group for process components CoRR abs/0711.0834: (2007)
32		Jan A. Bergstra, C. A. Middelburg: Machine structure oriented control code logic CoRR abs/0711.0836: (2007)
31		Jan A. Bergstra, C. A. Middelburg: On the operating unit size of load/store architectures CoRR abs/0711.0838: (2007)
30		Jan A. Bergstra, C. A. Middelburg: A thread calculus with molecular dynamics CoRR abs/0711.0840: (2007)
29		Jan A. Bergstra, C. A. Middelburg: Instruction Sequences with Dynamically Instantiated Instructions CoRR abs/0711.4217: (2007)
28		Jan A. Bergstra, C. A. Middelburg: Program algebra with a jump-shift instruction CoRR abs/0712.1658: (2007)
27		Jan A. Bergstra, C. A. Middelburg: Thread algebra for strategic interleaving. Formal Asp. Comput. 19(4): 445-474 (2007)
26		Jan A. Bergstra, C. A. Middelburg: Maurer Computers with Single-Thread Control. Fundam. Inform. 80(4): 333-362 (2007)
25		Jan A. Bergstra, C. A. Middelburg: Preferential choice and coordination conditions. J. Log. Algebr. Program. 70(2): 172-200 (2007)
24		Jan A. Bergstra, C. A. Middelburg: A Thread Algebra with Multi-Level Strategic Interleaving. Theory Comput. Syst. 41(1): 3-32 (2007)
	2006
23		C. A. Middelburg: Conditionals in Algebraic Process Calculi. Electr. Notes Theor. Comput. Sci. 162: 237-241 (2006)
22		Jan A. Bergstra, C. A. Middelburg: Thread Algebra with Multi-Level Strategies. Fundam. Inform. 71(2-3): 153-182 (2006)
21		Jan A. Bergstra, C. A. Middelburg: Splitting bisimulations and retrospective conditions. Inf. Comput. 204(7): 1083-1138 (2006)
20		Jan A. Bergstra, C. A. Middelburg: Continuity controlled hybrid automata. J. Log. Algebr. Program. 68(1-2): 5-53 (2006)
	2005
19		Jan A. Bergstra, C. A. Middelburg: Strong Splitting Bisimulation Equivalence. CALCO 2005: 83-97
18		Jan A. Bergstra, C. A. Middelburg: A Thread Algebra with Multi-level Strategic Interleaving. CiE 2005: 35-48
17		Jan A. Bergstra, C. A. Middelburg: Model Theory for Process Algebra. Processes, Terms and Cycles 2005: 445-495
16		Jan A. Bergstra, C. A. Middelburg: Process algebra for hybrid systems. Theor. Comput. Sci. 335(2-3): 215-280 (2005)
	2004
15		Jan A. Bergstra, C. A. Middelburg: Located Actions in Process Algebra with Timing. Fundam. Inform. 61(3-4): 183-211 (2004)
	2003
14		C. A. Middelburg: Revisiting timing in process algebra. J. Log. Algebr. Program. 54(1-2): 109-127 (2003)
13		C. A. Middelburg: An alternative formulation of operational conservativity with binding terms. J. Log. Algebr. Program. 55(1-2): 1-19 (2003)
	2002
12		Kees Middelburg: Process Algebra with Nonstandard Timing. Fundam. Inform. 53(1): 55-77 (2002)
	2001
11		C. A. Middelburg: Variable binding operators in transition system specifications. J. Log. Algebr. Program. 47(1): 15-45 (2001)
10		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)
	1998
9		C. A. Middelburg: Truth of Duration Calculus Formulae in Timed Frames. Fundam. Inform. 36(2-3): 235-263 (1998)
	1994
8		D. J. Andrews, Jan Friso Groote, C. A. Middelburg: Semantics of Specification Languages (SoSL), Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25-27 October 1993 Springer 1994
7		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
6		Cliff B. Jones, C. A. Middelburg: A Typed Logic of Partial Functions Reconstructed Classically. Acta Inf. 31(5): 399-430 (1994)
	1992
5		C. A. Middelburg: Modular Structuring of VDM Specifications in VVSL. Formal Asp. Comput. 4(1): 13-47 (1992)
	1991
4		C. A. Middelburg, Gerard R. Renardel de Lavalette: LPF and MPLomega - A Logical Comparison of VDM SL and COLD-K. VDM Europe (1) 1991: 279-308
	1989
3		C. A. Middelburg: Experiences with Combining Formalisms in VVSL. Algebraic Methods 1989: 83-103
2		C. A. Middelburg: VVSL: A Language for Structured VDM Specifications. Formal Asp. Comput. 1(1): 115-135 (1989)
	1988
1		Kees Middelburg: The VIP VDM Specification Language. VDM Europe 1988: 187-201

Coauthor Index

1	D. J. Andrews	[8]
2	Jos C. M. Baeten	[10]
3	Jan A. Bergstra	[15] [16] [17] [18] [19] [20] [21] [22] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [45] [46] [47] [48] [49] [50] [51] [52] [53] [54] [55] [56] [57] [58] [59]
4	Wiet Bouma (L. G. Bouma)	[7]
5	Jan Friso Groote	[8]
6	Cliff B. Jones	[6]
7	Gerard R. Renardel de Lavalette	[4]
8	Willem J. M. Levelt	[7]
9	Alfo Melisse	[7]
10	Louis Verhaard	[7]

Colors in the list of coauthors