• Publications
  • Influence
Refinement Calculus: A Systematic Introduction
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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