An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II

DOI10.1093/JIGPAL/11.3.319zbMath1051.03028OpenAlexW4254194396MaRDI QIDQ4454299

Martin C. Henson, Moshe Deutsch

Publication date: 8 March 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/c0b2b900be1bbcc2368d2e25a08d4f4cefb80c47

zbMATH Keywords

data refinementoperation refinementrelation semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

An analysis of refinement in an abortive paradigm

This page was built for publication: An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II