Browsing by Author "Henson, Martin C."

Now showing items 11-12 of 12

  • Revising Z: semantics and logic

    Henson, Martin C.; Reeves, Steve (University of Waikato, Department of Computer Science, 1998-03)
    We introduce a simple specification logic Zc comprising a logic and semantics (in ZF set theory). We then provide an interpretation for (a rational reconstruction of) the specification language Z within Zc. As a result we ...
  • Z logic and its consequences

    Henson, Martin C.; Reeves, Steve; Bowen, Jonathan P. (Institute of Informatics, 2003-06)
    This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and ...