Reasoning about Recursive Processes in Shared-Variable Concurrency

DOI10.1007/978-3-642-11512-7_9zbMath1274.68260OpenAlexW2149294925MaRDI QIDQ5187824

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)

Cites Work

• Unnamed Item
• Unnamed Item
• An axiomatic proof technique for parallel programs
• A Proof System for Communicating Sequential Processes
• Ten Years of Hoare's Logic: A Survey—Part I
• Formal Justification of a Proof System for Communicating Sequential Processes
• A Sound and Complete Shared-Variable Concurrency Model for Multi-threaded Java Programs

This page was built for publication: Reasoning about Recursive Processes in Shared-Variable Concurrency