Moshe Deutsch

Publication Activity (10 Years)

Years Active: 2002-2006
Publications (10 Years): 0

University of Essex, Colchester, UK (PHD)

Education History

University of Essex, Colchester, UK

PHD

Publications

Moshe Deutsch, Martin C. Henson
A Relational Investigation of UTP Designs and Prescriptions. UTP (2006)
Martin C. Henson, Moshe Deutsch, Besnik Kajtazi
The specification logic nuZ. Formal Aspects Comput. 18 (3) (2006)
Moshe Deutsch, Martin C. Henson
An analysis of refinement in an abortive paradigm. Formal Aspects Comput. 18 (3) (2006)
Moshe Deutsch, Martin C. Henson
An Analysis of Operation-Refinement in an Abortive Paradigm. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Moshe Deutsch, Martin C. Henson
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. APSEC (2005)
Moshe Deutsch, Martin C. Henson
An Analysis of Forward Simulation Data Refinement. ZB (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. Log. J. IGPL 11 (3) (2003)
Moshe Deutsch, Martin C. Henson
An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. APSEC (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
Operation Refinement and Monotonicity in the Schema Calculus. ZB (2003)
Moshe Deutsch, Martin C. Henson, Besnik Kajtazi
Modular refinement in novel schema calculi. APSEC (2003)
Moshe Deutsch, Martin C. Henson
An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. Log. J. IGPL 11 (3) (2003)
Moshe Deutsch, Martin C. Henson, Steve Reeves
Results on Formal Stepwise Design in Z. APSEC (2002)