Splitting atoms safely

DOI10.1016/j.tcs.2006.12.029zbMath1111.68022OpenAlexW2132957297MaRDI 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 methodsgranularityconcurrencyatomicityrely/guarantee conditionsrefining atomicity

Mathematics Subject Classification ID

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

Related Items (7)

Possible values: exploring a concept for concurrency ⋮ Analyzing complex functional brain networks: fusing statistics and network science to understand the brain ⋮ Balancing expressiveness in formal approaches to concurrency ⋮ Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification ⋮ Liveness-Preserving Atomicity Abstraction ⋮ Elucidating concurrent algorithms via layers of abstraction and reification ⋮ Reasoning about Separation Using Abstraction and 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

This page was built for publication: Splitting atoms safely