Eric J. Hedman

  • Citations Per Year
Learn More
We develop an action systems based approach that supports the separation of design of the functional or computation aspects of a system under construction from the coordination and synchronisation issues. The computation aspects are modelled as nondeterministic actions that work in parallel with the coordination actions, which impose some control on this(More)
In this paper, a tool for structuring and manipulating formal program derivations is speciied using the Z 13] notation. A program derivation style based on (transitive) relations between programs, as found in the reenement calculus 1, 8, 9], is assumed. The structuring and manipulation of derivations is based on the notion of reenement diagrams proposed by(More)
  • 1