Transformations for write-all-with-collision model

DOI10.1007/978-3-540-27860-3_18MaRDI QIDQ5466229zbMATH OpenOpenAlexFDO

Authors Sandeep S. Kulkarni, Mahesh Arumugam

Publication date 24 August 2005

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

Full work available at URL https://doi.org/10.1007/b99477

zbMATH Keywords

Atomicity refinementModel conversionsPreserving stabilizationRead/Write modelWrite-all-with-collision model

Mathematics Subject Classification ID

Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Transformations of self-stabilizing algorithms
• Making objects writable
• Efficient algorithms for checking the atomicity of a run of read and write operations
• The theory of weak stabilization
• Relations between Concurrent-Write Models of Parallel Computation

This page was built for publication: Transformations for write-all-with-collision model

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