Elucidating concurrent algorithms via layers of abstraction and reification
type: Item
instance of: scholarly article
title: Elucidating concurrent algorithms via layers of abstraction and reification
zbMATH Open document ID: 1216.68074
author: Ken Pierce
author: Cliff B. Jones
published in: Formal Aspects of Computing
publication date: 2011-05-30T00:00:00Z
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 5900835
zbMATH Keywords: formal methods
zbMATH Keywords: concurrency
zbMATH Keywords: program proof
zbMATH Keywords: rely/guarantee conditions
zbMATH Keywords: asynchronous communication mechanisms
zbMATH Keywords: Simpson's algorithm
describes a project that uses: Rodin
MaRDI profile type: Publication
full work available at URL: s00165-010-0156-1
OpenAlex ID: W2004321173
cites work: The B-Book
cites work: Inter-process buffers in separation logic with rely-guarantee
cites work: A semantics for concurrent separation logic
cites work: A Structural Proof of the Soundness of Rely/guarantee Rules
cites work: Concurrency verification. Introduction to compositional and noncompositional methods
cites work: Q4808839
cites work: Tentative steps toward a development method for interfering programs
cites work: Q3997074
cites work: Splitting atoms safely
cites work: The Role of Auxiliary Variables in the Formal Development of Concurrent Programs
cites work: Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
cites work: The mutual exclusion problem
cites work: Q4725724
cites work: Resources, concurrency, and local reasoning
cites work: Separation logic and abstraction
cites work: Concurrent Reading While Writing
cites work: A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables
cites work: Ramifications of metastability in bit variables explored via Simpson's 4-slot mechanism
cites work: Understanding concurrent systems
cites work: Modular Safety Checking for Fine-Grained Concurrency
DOI: 10.1007/S00165-010-0156-1
description: scientific article; zbMATH DE number 5900835