Splitting atoms safely

DOI10.1016/J.TCS.2006.12.029MaRDI QIDQ879357zbMATH OpenOpenAlexFDO

Authors 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

concurrencyformal methodsgranularityatomicityrely/guarantee conditionsrefining atomicity

Mathematics Subject Classification ID

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

Recommendations

• An approach to splitting atoms safely (extended abstract)
• Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
• scientific article; zbMATH DE number 1231462
• Constraining interference in an object-based design method
• scientific article; zbMATH DE number 177782

Cites work

• scientific article; zbMATH DE number 3748394 (Why is no real title available?)
• scientific article; zbMATH DE number 46740 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 482761 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 3999266 (Why is no real title available?)
• scientific article; zbMATH DE number 2090146 (Why is no real title available?)
• scientific article; zbMATH DE number 3244305 (Why is no real title available?)
• A structural approach to operational semantics
• An axiomatic proof technique for parallel programs
• Composition of assumption-commitment specifications in a UNITY style
• Concurrency verification. Introduction to compositional and noncompositional methods
• Confluence of processes and systems of objects
• Constraining interference in an object-based design method
• Issues in the design of a parallel object-oriented language
• Non-deterministic data types: Models and implementations
• Operational semantics: concepts and their expression
• Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism
• Refinement Calculus
• Specification and Development of Interactive Systems
• Tentative steps toward a development method for interfering programs
• The B-Book
• The origins of structural operational semantics

Cited in

(9)

• Balancing expressiveness in formal approaches to concurrency
• Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
• Elucidating concurrent algorithms via layers of abstraction and reification
• Liveness-Preserving Atomicity Abstraction
• Reasoning about separation using abstraction and reification
• Possible values: exploring a concept for concurrency
• An approach to splitting atoms safely (extended abstract)
• Specifying and reasoning about shared-variable concurrency
• Analyzing complex functional brain networks: fusing statistics and network science to understand the brain

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Splitting atoms safely

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