Splitting atoms safely

DOI10.1016/j.tcs.2006.12.029zbMath1111.68022MaRDI QIDQ879357

N. E. Zubov

Publication date: 11 May 2007

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.029

zbMATH Keywords

formal methods; granularity; concurrency; atomicity; rely/guarantee conditions; refining atomicity

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

Related Items

Elucidating concurrent algorithms via layers of abstraction and reification, Liveness-Preserving Atomicity Abstraction, Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification

Uses Software

• UNITY

Cites Work

• Issues in the design of a parallel object-oriented language
• Operational semantics: concepts and their expression
• Non-deterministic data types: Models and implementations
• An axiomatic proof technique for parallel programs
• Composition of assumption-commitment specifications in a UNITY style
• Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism
• The origins of structural operational semantics
• A structural approach to operational semantics
• Specification and Development of Interactive Systems
• Tentative steps toward a development method for interfering programs
• The B-Book
• Refinement Calculus
• Constraining interference in an object-based design method
• Confluence of processes and systems of objects
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item