Contact

All Stories

  1. Using Hoare Logic in a Process Algebra Setting

    Article • Fundamenta Informaticae, May 2021, IOS Press

    Kees Middelburg

  2. On the strongest three-valued paraconsistent logic contained in classical logic and its dual

    Article • Journal of Logic and Computation, December 2020, Oxford University Press (OUP)

    Kees Middelburg

  3. Probabilistic Process Algebra and Strategic Interleaving

    Article • Scientific Annals of Computer Science, December 2020, Scientific Annals of Computer Science

    Kees Middelburg

  4. On the complexity of the correctness problem for non-zeroness test instruction sequences

    Article • Theoretical Computer Science, January 2020, Elsevier

    Kees Middelburg

  5. Program Algebra for Turing-Machine Programs

    Article • Scientific Annals of Computer Science, December 2019, Scientific Annals of Computer Science

    Kees Middelburg

  6. Instruction Sequences Expressing Multiplication Algorithms

    Article • Scientific Annals of Computer Science, September 2018, Scientific Annals of Computer Science

    Kees Middelburg

  7. Process Algebra with Strategic Interleaving

    Article • Theory of Computing Systems, August 2018, Springer Science + Business Media

    Kees Middelburg

  8. Contradiction-Tolerant Process Algebra with Propositional Signals

    Article • Fundamenta Informaticae, June 2017, IOS Press

    Kees Middelburg

  9. Axioms for Behavioural Congruence of Single-Pass Instruction Sequences

    Article • Scientific Annals of Computer Science, January 2017, Scientific Annals of Computer Science

    Kees Middelburg

  10. Instruction Sequence Size Complexity of Parity

    Article • Fundamenta Informaticae, December 2016, IOS Press

    Kees Middelburg

  11. Transformation of fractions into simple fractions in divisive meadows

    Article • Journal of Applied Logic, July 2016, Elsevier

    Kees Middelburg

  12. A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences

    Article • Scientific Annals of Computer Science, January 2016, Scientific Annals of Computer Science

    Kees Middelburg

  13. On Instruction Sets for Boolean Registers in Program Algebra

    Article • Scientific Annals of Computer Science, January 2016, Scientific Annals of Computer Science

    Kees Middelburg

  14. On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions

    Article • Fundamenta Informaticae, July 2015, IOS Press

    Kees Middelburg

  15. Division by zero in non-involutive meadows

    Article • Journal of Applied Logic, March 2015, Elsevier

    Kees Middelburg

  16. Probabilistic Thread Algebra

    Article • Scientific Annals of Computer Science, January 2015, Scientific Annals of Computer Science

    Kees Middelburg

  17. Instruction Sequence Based Non-uniform Complexity Classes

    Article • Scientific Annals of Computer Science, January 2014, Scientific Annals of Computer Science

    Kees Middelburg

  18. A Process Calculus with Finitary Comprehended Terms

    Article • Theory of Computing Systems, April 2013, Springer Science + Business Media

    Kees Middelburg

  19. Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting

    Article • Fundamenta Informaticae, January 2013, IOS Press

    Kees Middelburg

  20. Timed Tuplix Calculus and the Wesseling and van den Bergh Equation

    Article • Scientific Annals of Computer Science, January 2013, Scientific Annals of Computer Science

    Kees Middelburg

  21. Instruction sequence processing operators

    Article • Acta Informatica, March 2012, Springer Science + Business Media

    Kees Middelburg

  22. Indirect Jumps Improve Instruction Sequence Performance

    Article • Scientific Annals of Computer Science, January 2012, Scientific Annals of Computer Science

    Kees Middelburg

  23. Instruction Sequences for Computer Science

    Article • January 2012, Atlantis Press

    Kees Middelburg

  24. On the Behaviours Produced by Instruction Sequences under Execution

    Article • Fundamenta Informaticae, January 2012, IOS Press

    Kees Middelburg

  25. Inversive meadows and divisive meadows

    Article • Journal of Applied Logic, September 2011, Elsevier

    Kees Middelburg

  26. Thread algebra for poly-threading

    Article • Formal Aspects of Computing, April 2011, Springer Science + Business Media

    Kees Middelburg

  27. Preliminaries to an Investigation of Reduced Product Set Finance

    Article • Journal of King Abdulaziz University-Islamic Economics, January 2011, King Abdulaziz University Scientific Publishing Centre

    Kees Middelburg

  28. On the Expressiveness of Single-Pass Instruction Sequences

    Article • Theory of Computing Systems, November 2010, Springer Science + Business Media

    Kees Middelburg

  29. A thread calculus with molecular dynamics

    Article • Information and Computation, July 2010, Elsevier

    Kees Middelburg

  30. On the operating unit size of load/store architectures

    Article • Mathematical Structures in Computer Science, February 2010, Cambridge University Press

    Kees Middelburg

  31. An Interface Group for Process Components

    Article • Fundamenta Informaticae, January 2010, IOS Press

    Kees Middelburg

  32. Data Linkage Dynamics with Shedding

    Article • Fundamenta Informaticae, January 2010, IOS Press

    Kees Middelburg

  33. Machine structure oriented control code logic

    Article • Acta Informatica, August 2009, Springer Science + Business Media

    Kees Middelburg

  34. Instruction Sequences with Dynamically Instantiated Instructions

    Article • Fundamenta Informaticae, January 2009, IOS Press

    Kees Middelburg

  35. Transmission Protocols for Instruction Streams

    Article • January 2009, Springer Science + Business Media

    Kees Middelburg

  36. Program algebra with a jump-shift instruction

    Article • Journal of Applied Logic, December 2008, Elsevier

    Kees Middelburg

  37. Distributed strategic interleaving with load balancing

    Article • Future Generation Computer Systems, June 2008, Elsevier

    Kees Middelburg

  38. Parallel Processes with Implicit Computational Capital

    Article • Electronic Notes in Theoretical Computer Science, April 2008, Elsevier

    Kees Middelburg

  39. Simulating Turing machines on Maurer machines

    Article • Journal of Applied Logic, March 2008, Elsevier

    Kees Middelburg

  40. Maurer computers for pipelined instruction processing

    Article • Mathematical Structures in Computer Science, December 2007, Cambridge University Press

    Kees Middelburg

  41. Synchronous cooperation for explicit multi-threading

    Article • Acta Informatica, September 2007, Springer Science + Business Media

    Kees Middelburg

  42. A Thread Algebra with Multi-Level Strategic Interleaving

    Article • Theory of Computing Systems, May 2007, Springer Science + Business Media

    Kees Middelburg

  43. Thread algebra for strategic interleaving

    Article • Formal Aspects of Computing, February 2007, Springer Science + Business Media

    Kees Middelburg

  44. Preferential choice and coordination conditions

    Article • The Journal of Logic and Algebraic Programming, February 2007, Elsevier

    Kees Middelburg

  45. Conditionals in Algebraic Process Calculi

    Article • Electronic Notes in Theoretical Computer Science, September 2006, Elsevier

    Kees Middelburg

  46. Splitting bisimulations and retrospective conditions

    Article • Information and Computation, July 2006, Elsevier

    Kees Middelburg

  47. Continuity controlled hybrid automata

    Article • The Journal of Logic and Algebraic Programming, June 2006, Elsevier

    Kees Middelburg

  48. Process algebra for hybrid systems

    Article • Theoretical Computer Science, May 2005, Elsevier

    Kees Middelburg

  49. A Thread Algebra with Multi-level Strategic Interleaving

    Article • January 2005, Springer Science + Business Media

    Kees Middelburg

  50. Model Theory for Process Algebra

    Article • January 2005, Springer Science + Business Media

    Kees Middelburg

  51. Strong Splitting Bisimulation Equivalence

    Article • January 2005, Springer Science + Business Media

    Kees Middelburg

  52. An alternative formulation of operational conservativity with binding terms

    Article • The Journal of Logic and Algebraic Programming, March 2003, Elsevier

    Kees Middelburg

  53. Revisiting timing in process algebra

    Article • The Journal of Logic and Algebraic Programming, January 2003, Elsevier

    Kees Middelburg

  54. Guest editor's introduction

    Article • The Journal of Logic and Algebraic Programming, June 2002, Elsevier

    Kees Middelburg

  55. Process Algebra with Timing

    Article • January 2002, Springer Science + Business Media

    Kees Middelburg

  56. Real time process algebra with time-dependent conditions

    Article • The Journal of Logic and Algebraic Programming, May 2001, Elsevier

    Kees Middelburg

  57. Variable binding operators in transition system specifications

    Article • The Journal of Logic and Algebraic Programming, January 2001, Elsevier

    Kees Middelburg

  58. Discrete Time Process Algebra and the Semantics of SDL

    Article • January 2001, Elsevier

    Kees Middelburg

  59. Process Algebra with Timing: Real Time and Discrete Time

    Article • January 2001, Elsevier

    Kees Middelburg

  60. Detection of non-determinacy feature interactions

    Article • January 1999, Institute of Electrical & Electronics Engineers (IEEE)

    Kees Middelburg

  61. Truth of Duration Calculus Formulae in Timed Frames

    Article • Fundamenta Informaticae, January 1998, IOS Press

    Kees Middelburg

  62. Network algebra for asynchronous dataflow∗

    Article • International Journal of Computer Mathematics, January 1997, Taylor & Francis

    Kees Middelburg

  63. Algebra of timed frames

    Article • International Journal of Computer Mathematics, January 1996, Taylor & Francis

    Kees Middelburg

  64. A typed logic of partial functions reconstructed classically

    Article • Acta Informatica, May 1994, Springer Science + Business Media

    Kees Middelburg

  65. Formalisation of properties for feature interaction detection: Experience in a real-life situation

    Article • January 1994, Springer Science + Business Media

    Kees Middelburg

  66. Notations for Software Design

    Article • January 1994, Springer Science + Business Media

    Kees Middelburg

  67. Semantics of Specification Languages (SoSL)

    Article • January 1994, Springer Science + Business Media

    Kees Middelburg

  68. Modular structuring of VDM specifications in VVSL

    Article • Formal Aspects of Computing, January 1992, Springer Science + Business Media

    Kees Middelburg

  69. Specification of interfering programs based on interconditions

    Article • Software Engineering Journal, January 1992, the Institution of Engineering and Technology (the IET)

    Kees Middelburg

  70. VVSL Specification of a Transaction-oriented Access Handler

    Article • January 1992, Springer Science + Business Media

    Kees Middelburg

  71. Experiences with combining formalisms in VVSL

    Article • January 1991, Springer Science + Business Media

    Kees Middelburg

  72. LPF and MPLω — A logical comparison of VDM SL and COLD-K

    Article • January 1991, Springer Science + Business Media

    Kees Middelburg

  73. VVSL: A language for structured VDM specifications

    Article • Formal Aspects of Computing, March 1989, Springer Science + Business Media

    Kees Middelburg

  74. The VIP VDM Specification Language

    Article • January 1988, Springer Science + Business Media

    Kees Middelburg

  75. The effect of the PDP-11 architecture on code generation for chill

    Article • January 1982, ACM (Association for Computing Machinery)

    Kees Middelburg