Syntactic regions for concurrent programs

DOI10.4204/EPTCS.351.12MaRDI QIDQ6653757zbMATH OpenFDO

Authors Samuel Mimram, Aly-Bora Ulusoy

Publication date 17 December 2024

Full work available at URL https://doi.org/10.4204/EPTCS.351.12

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A geometric view of partial order reduction
• A Structural Proof of the Soundness of Rely/guarantee Rules
• Algebraic topology and concurrency
• An axiomatic proof technique for parallel programs
• CONCUR 2005 – Concurrency Theory
• Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram
• Locus solum: From the rules of logic to the logic of rules.
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Resources, concurrency, and local reasoning
• Some geometric perspectives in concurrency theory
• The geometry of conservative programs
• Trace spaces: an efficient new technique for state-space reduction

This page was built for publication: Syntactic regions for concurrent programs

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