Atomic actions, and their refinements to isolated protocols
DOI10.1007/S00165-009-0103-1zbMATH Open1183.68362OpenAlexW2089894773MaRDI QIDQ2268472FDOQ2268472
Authors: Gerhard Schellhorn, Richard Banach 
Publication date: 8 March 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-009-0103-1
Recommendations
synchronisationrefinementprotocolsatomic actions2-phase protocolsforward and backward simulationMondexserialisation
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Cites Work
- Title not available (Why is that?)
- Petri nets, event structures and domains. I
- Evolving Algebras 1993: Lipari Guide
- Principles of transaction processing
- Title not available (Why is that?)
- On the nature of events: another perspective in concurrency
- Refinement, decomposition, and instantiation of discrete models: application to Event-B
- Retrenching the purse: the balance enquiry quandary, and generalised and \((1, 1)\) forward refinements
- Title not available (Why is that?)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison
- Concurrency and atomicity
- Atomic actions, and their refinements to isolated protocols
Cited In (6)
- Introducing extra operations in refinement
- Verification-Led Smart Contracts
- Retrenchment and refinement interworking: the tower theorems
- A sound and complete proof technique for linearizability of concurrent data structures
- ASM refinement preserving invariants
- Atomic actions, and their refinements to isolated protocols
Uses Software
This page was built for publication: Atomic actions, and their refinements to isolated protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2268472)
