• Publications
  • Influence
Refinement Calculus: A Systematic Introduction
A program refinement calculus based on lattice theory and higher order logic, together with a simple theory of program variables. Expand
  • 869
  • 82
  • PDF
Trace Refinement of Action Systems
We give a simulation based proof rule for action system refinement in a reactive context, and illustrate the use of this rule with an example. Expand
  • 181
  • 19
Distributed cooperation with action systems
We show that for fairly serializable systems, properties that hold for any concurrent execution of the system can be established by temporal proofs that are conducted entirely within the simpler sequential execution model. Expand
  • 308
  • 15
Decentralization of Process Nets with Centralized Control
The behavior of a net of interconnected, communicating processes is described in terms of the joint actions in which the processes can participate. Expand
  • 301
  • 14
Refinement Calculus
We can generalize the notion of a concrete category to an (abstract) category. Expand
  • 148
  • 14
A simple mass-action model for the eukaryotic heat shock response and its mathematical validation
We propose here a simple mechanistic model for the eukaryotic heat shock response, including its mathematical validation. Expand
  • 53
  • 11
  • PDF
Reasoning algebraically about loops
We show how to formalise different kinds of loop constructs within the refinement calculus, and how to use this formalisation to derive general transformation rules for loop constructs. Expand
  • 61
  • 11
  • PDF
Refinement Calculus, Part II: Parallel and Reactive Programs
  • R. Back
  • Computer Science
  • REX Workshop
  • 29 May 1989
It is shown how to apply the refinement calculus to stepwise refinement of both parallel programs and reactive programs. Expand
  • 279
  • 10
Why complicate things?: introducing programming in high school using Python
We present a case study with a twofold goal: (1) examining how programming can be introduced at high school level, and (2) evaluating how suitable the programming language Python is to support both teachers and learners in this process. Expand
  • 90
  • 7