Browsing by Subject "operation refinement"

Now showing items 1-2 of 2

  • An analysis of total correctness refinement models for partial relation semantics I

    Deutsch, Moshe; Henson, Martin C.; Reeves, Steve (Oxford University Press, 2003)
    This is the first of a series of papers devoted to the thorough investigation of (total correctness) refinement based on an underlying partial relational model. In this paper we restrict attention to operation refinement. ...
  • Investigating Z

    Henson, Martin C.; Reeves, Steve (Oxford University Press, 2003)
    In this paper we introduce and investigate an improved kernel logic Zc for the specification language Z. Unlike standard accounts, this logic is consistent and is easily shown to be sound. We show how a complete shema ...