Nonblocking Algorithms and Backward Simulation

DOI10.1007/978-3-642-04355-0_28zbMath1261.68166OpenAlexW1592188038MaRDI QIDQ3646231

Simon Doherty, Mark Moir

Publication date: 19 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04355-0_28

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Related Items (2)

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures ⋮ Towards formally specifying and verifying transactional memory

Uses Software

• PVS

This page was built for publication: Nonblocking Algorithms and Backward Simulation