An assertional proof for a construction of an atomic variable

DOI10.1007/S00165-004-0038-5zbMATH Open1061.68113OpenAlexW1982721481MaRDI QIDQ1764428

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)

Related Items (3)

A criterion for atomicity revisited ⋮ Simulation Refinement for Concurrency Verification ⋮ A queue based mutual exclusion algorithm

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)