Reasoning about recursive processes in shared-variable concurrency

DOI10.1007/978-3-642-11512-7_9MaRDI QIDQ5187824zbMATH OpenOpenAlexFDO

Authors Frank S. de Boer

Publication date 9 March 2010

Published in Concurrency, Compositionality, and Correctness (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-11512-7_9

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 3956417
• Axiomatic treatment of processes with shared variables revisited
• scientific article; zbMATH DE number 1418350
• scientific article; zbMATH DE number 3902009
• A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs

Cites work

• A Proof System for Communicating Sequential Processes
• A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs
• An axiomatic proof technique for parallel programs
• Formal Justification of a Proof System for Communicating Sequential Processes
• scientific article; zbMATH DE number 192929 (Why is no real title available?)
• scientific article; zbMATH DE number 3569793 (Why is no real title available?)
• Ten Years of Hoare's Logic: A Survey—Part I

Cited in

(4)

• Axiomatic treatment of processes with shared variables revisited
• A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation
• Programming Languages and Systems
• Step semantics for ``true concurrency with recursion

This page was built for publication: Reasoning about recursive processes in shared-variable concurrency

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