Compositional Reasoning about Shared Futures
From MaRDI portal
Publication:4899685
DOI10.1007/978-3-642-33826-7_7zbMath1315.68192OpenAlexW1487113514MaRDI QIDQ4899685
Crystal Chang Din, Johan Dovland, Olaf Owe
Publication date: 8 January 2013
Published in: Software Engineering and Formal Methods (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33826-7_7
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (5)
On detecting over-eager concurrency in asynchronously communicating concurrent object systems ⋮ Compositional reasoning about active objects with shared futures ⋮ A sound and complete reasoning system for asynchronous communication with shared futures ⋮ An evaluation of interaction paradigms for active objects ⋮ Observable interface behaviour and inheritance
This page was built for publication: Compositional Reasoning about Shared Futures
