On Rely-Guarantee Reasoning (Q2941165)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	On Rely-Guarantee Reasoning	scientific article

Statements

scholarly article

0 references

On Rely-Guarantee Reasoning (English)

0 references

zbMATH Open document ID

0 references

10.1007/978-3-319-19797-5_2

0 references

Stephan van Staden

0 references

Lecture Notes in Computer Science

0 references

publication date

27 August 2015

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

zbMATH Keywords

rely-guarantee

0 references

concurrency

0 references

semantics

0 references

soundness

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-19797-5_2

0 references

0 references

A Structural Proof of the Soundness of Rely/guarantee Rules

0 references

A refinement calculus for shared-variable parallel and distributed programming

0 references

0 references

Concurrent Kleene Algebra

0 references

Balancing expressiveness in formal approaches to concurrency

0 references

The specification statement

0 references

0 references

0 references

Constructing the Views Framework

0 references

A generalization of Owicki-Gries's Hoare logic for a concurrent while language

0 references

Explicit Stabilisation for Modular Rely-Guarantee Reasoning

0 references

The Rely-Guarantee method for verifying shared variable concurrent programs

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2941165

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2941165&oldid=36198149"