dblp.uni-trier.dewww.uni-trier.de

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
Home Page

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

1D. J. Andrews [8]
2Jos C. M. Baeten [10]
3Jan 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]
4Wiet Bouma (L. G. Bouma) [7]
5Jan Friso Groote [8]
6Cliff B. Jones [6]
7Gerard R. Renardel de Lavalette [4]
8Willem J. M. Levelt [7]
9Alfo Melisse [7]
10Louis Verhaard [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)