A rely-guarantee-based simulation for cooperative semantics

DOI10.1007/978-3-032-11176-0_7MaRDI QIDQ6841018zbMATH OpenFDO

Authors Kevin Tran, Johannes Åman Pohjola, Rob Sison, Gerwin Klein

Publication date 20 March 2026

Full work available at URL https://doi.org/10.1007/978-3-032-11176-0_7

zbMATH Keywords

concurrencyrely-guarantee reasoningsimulation

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• A calculus of atomic actions
• A model of cooperative threads
• A program logic for concurrent objects under fair scheduling
• A rely-guarantee-based simulation for verifying concurrent program transformations
• An axiomatic proof technique for parallel programs
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• Isabelle/HOL. A proof assistant for higher-order logic
• Simplifying linearizability proofs with reduction and abstraction
• Tentative steps toward a development method for interfering programs
• Types, bytes, and separation logic

This page was built for publication: A rely-guarantee-based simulation for cooperative semantics

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