Formal Aspects of Computing · 2008 · 12 citations · 3 references
ComputingComputer EngineeringFault ToleranceFault-tolerant ComputingFault-tolerant SystemsSoftware RefactoringData RefinementRefinementRefinement Checking
Abstract In this paper, we give simple example abstract data types, with atomic operations, that are related by data refinement under a definition used widely in the literature, but these same abstract data types are not related by singleton failure refinement. This contradicts results found in the literature.
3
Relational Concurrent Refinement
John Derrick, Eerke Boiten · Formal Aspects of Computing · 2003 · 44 citations