Splitting atoms safely

DOI10.1016/J.TCS.2006.12.029zbMATH Open1111.68022OpenAlexW2132957297MaRDI QIDQ879357FDOQ879357

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

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

zbMATH Keywords

concurrencyformal methodsgranularityatomicityrely/guarantee conditionsrefining atomicity

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
• Balancing expressiveness in formal approaches to concurrency
• Liveness-Preserving Atomicity Abstraction
• Elucidating concurrent algorithms via layers of abstraction and reification
• 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

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)