Research Repository

CSM-364 - An analysis of operation refinement in Z

Henson, M and Deutsch, M and Reeves, S (2002) CSM-364 - An analysis of operation refinement in Z. UNSPECIFIED. CSM-364, University of Essex, Colchester.

[img]
Preview
Text
csm-364.pdf

Download (208kB) | Preview

Abstract

In this paper we analyse and compare several notions of operation refinement for specifications in Z. In particular we show that three theories: relational completion, proof-theoretic and functional (models) are all equivalent.

Item Type: Monograph (UNSPECIFIED)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Science and Health
Faculty of Science and Health > Computer Science and Electronic Engineering, School of
SWORD Depositor: Elements
Depositing User: Elements
Date Deposited: 27 Feb 2014 11:51
Last Modified: 15 Jan 2022 01:07
URI: http://repository.essex.ac.uk/id/eprint/8674

Actions (login required)

View Item View Item