An assertional proof for a construction of an atomic variable

DOI10.1007/S00165-004-0038-5MaRDI QIDQ1764428zbMATH OpenOpenAlexFDO

Authors W. H. Hesselink

Publication date 24 February 2005

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://pure.rug.nl/ws/files/2985031/2004FormAspCompHesselink.pdf

zbMATH Keywords

InvariantAtomicitySafenessWait-free

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A challenge for atomicity verification
• An assertional criterion for atomicity
• A calculus of atomic actions
• Distributed Computing
• A criterion for atomicity revisited

Cited in

(6)

• Simulation Refinement for Concurrency Verification
• A queue based mutual exclusion algorithm
• A criterion for atomicity revisited
• Invariants for the construction of a handshake register
• A challenge for atomicity verification
• An assertional criterion for atomicity

Describes a project that uses

Uses Software

• NQTHM

This page was built for publication: An assertional proof for a construction of an atomic variable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1764428)