Kees Middelburg

C. A. Middelburg

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009

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

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

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

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

2008

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

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

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

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

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

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

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

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

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

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

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

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

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

2007

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

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

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

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

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

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

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

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

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

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

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

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

2006

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

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

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

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

2005

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

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

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

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

2004

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

2003

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

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

2002

12 EE 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 MPL_omega - 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

2009
52	EE	Jan A. Bergstra, C. A. Middelburg: Timed tuplix calculus and the Wesseling and van den Berg equation CoRR abs/0901.3003: (2009)
51	EE	Jan A. Bergstra, C. A. Middelburg: Meadow Enriched ACP Process Algebras CoRR abs/0901.3012: (2009)
50	EE	Jan A. Bergstra, C. A. Middelburg: Transmission protocols for instruction streams CoRR abs/0902.2859: (2009)
49	EE	Jan A. Bergstra, C. A. Middelburg: A process calculus with finitary comprehended terms CoRR abs/0903.2914: (2009)
2008
48	EE	Jan A. Bergstra, C. A. Middelburg: Programming an interpreter using molecular dynamics CoRR abs/0801.2226: (2008)
47	EE	Jan A. Bergstra, Kees Middelburg: Thread extraction for polyadic instruction sequences CoRR abs/0802.1578: (2008)
46	EE	Jan A. Bergstra, C. A. Middelburg: Thread algebra for sequential poly-threading CoRR abs/0803.0378: (2008)
45	EE	Jan A. Bergstra, C. A. Middelburg: Data linkage algebra, data linkage dynamics, and priority rewriting CoRR abs/0804.4565: (2008)
44	EE	Jan A. Bergstra, C. A. Middelburg: Data linkage dynamics with shedding CoRR abs/0806.4034: (2008)
43	EE	Jan A. Bergstra, C. A. Middelburg: Instruction sequences and non-uniform complexity theory CoRR abs/0809.0352: (2008)
42	EE	Jan A. Bergstra, C. A. Middelburg: On the expressiveness of single-pass instruction sequences CoRR abs/0810.1106: (2008)
41	EE	Jan A. Bergstra, C. A. Middelburg: Instruction sequences for the production of processes CoRR abs/0811.0436: (2008)
40	EE	Jan A. Bergstra, C. A. Middelburg: Parallel Processes with Implicit Computational Capital. Electr. Notes Theor. Comput. Sci. 209: 55-81 (2008)
39	EE	Jan A. Bergstra, C. A. Middelburg: Distributed strategic interleaving with load balancing. Future Generation Comp. Syst. 24(6): 530-548 (2008)
38	EE	Jan A. Bergstra, C. A. Middelburg: Simulating Turing machines on Maurer machines. J. Applied Logic 6(1): 1-23 (2008)
37	EE	Jan A. Bergstra, C. A. Middelburg: Program algebra with a jump-shift instruction. J. Applied Logic 6(4): 553-563 (2008)
36	EE	Jan A. Bergstra, C. A. Middelburg: Maurer computers for pipelined instruction processing. Mathematical Structures in Computer Science 18(2): 373-409 (2008)
2007
35	EE	Jan A. Bergstra, C. A. Middelburg: Synchronous cooperation for explicit multi-threading. Acta Inf. 44(7-8): 525-569 (2007)
34	EE	Jan A. Bergstra, C. A. Middelburg: Instruction sequences with indirect jumps CoRR abs/0711.0829: (2007)
33	EE	Jan A. Bergstra, C. A. Middelburg: An interface group for process components CoRR abs/0711.0834: (2007)
32	EE	Jan A. Bergstra, C. A. Middelburg: Machine structure oriented control code logic CoRR abs/0711.0836: (2007)
31	EE	Jan A. Bergstra, C. A. Middelburg: On the operating unit size of load/store architectures CoRR abs/0711.0838: (2007)
30	EE	Jan A. Bergstra, C. A. Middelburg: A thread calculus with molecular dynamics CoRR abs/0711.0840: (2007)
29	EE	Jan A. Bergstra, C. A. Middelburg: Instruction Sequences with Dynamically Instantiated Instructions CoRR abs/0711.4217: (2007)
28	EE	Jan A. Bergstra, C. A. Middelburg: Program algebra with a jump-shift instruction CoRR abs/0712.1658: (2007)
27	EE	Jan A. Bergstra, C. A. Middelburg: Thread algebra for strategic interleaving. Formal Asp. Comput. 19(4): 445-474 (2007)
26	EE	Jan A. Bergstra, C. A. Middelburg: Maurer Computers with Single-Thread Control. Fundam. Inform. 80(4): 333-362 (2007)
25	EE	Jan A. Bergstra, C. A. Middelburg: Preferential choice and coordination conditions. J. Log. Algebr. Program. 70(2): 172-200 (2007)
24	EE	Jan A. Bergstra, C. A. Middelburg: A Thread Algebra with Multi-Level Strategic Interleaving. Theory Comput. Syst. 41(1): 3-32 (2007)
2006
23	EE	C. A. Middelburg: Conditionals in Algebraic Process Calculi. Electr. Notes Theor. Comput. Sci. 162: 237-241 (2006)
22	EE	Jan A. Bergstra, C. A. Middelburg: Thread Algebra with Multi-Level Strategies. Fundam. Inform. 71(2-3): 153-182 (2006)
21	EE	Jan A. Bergstra, C. A. Middelburg: Splitting bisimulations and retrospective conditions. Inf. Comput. 204(7): 1083-1138 (2006)
20	EE	Jan A. Bergstra, C. A. Middelburg: Continuity controlled hybrid automata. J. Log. Algebr. Program. 68(1-2): 5-53 (2006)
2005
19	EE	Jan A. Bergstra, C. A. Middelburg: Strong Splitting Bisimulation Equivalence. CALCO 2005: 83-97
18	EE	Jan A. Bergstra, C. A. Middelburg: A Thread Algebra with Multi-level Strategic Interleaving. CiE 2005: 35-48
17	EE	Jan A. Bergstra, C. A. Middelburg: Model Theory for Process Algebra. Processes, Terms and Cycles 2005: 445-495
16	EE	Jan A. Bergstra, C. A. Middelburg: Process algebra for hybrid systems. Theor. Comput. Sci. 335(2-3): 215-280 (2005)
2004
15	EE	Jan A. Bergstra, C. A. Middelburg: Located Actions in Process Algebra with Timing. Fundam. Inform. 61(3-4): 183-211 (2004)
2003
14	EE	C. A. Middelburg: Revisiting timing in process algebra. J. Log. Algebr. Program. 54(1-2): 109-127 (2003)
13	EE	C. A. Middelburg: An alternative formulation of operational conservativity with binding terms. J. Log. Algebr. Program. 55(1-2): 1-19 (2003)
2002
12	EE	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 MPL_omega - 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]

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

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]
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]