Compositional Reasoning about Shared Futures
DOI10.1007/978-3-642-33826-7_7zbMATH Open1315.68192OpenAlexW1487113514MaRDI QIDQ4899685FDOQ4899685
Authors: 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
Recommendations
- Compositional reasoning about active objects with shared futures
- A sound and complete reasoning system for asynchronous communication with shared futures
- Compositional reasoning
- Compositional reasoning for shared-variable concurrent programs
- Compositional reasoning for multi-modal logics
- Compositional conceptualization in intentional logics
- scientific article; zbMATH DE number 1754638
- scientific article; zbMATH DE number 6297875
- scientific article; zbMATH DE number 1670774
Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (10)
- An evaluation of interaction paradigms for active objects
- Observable behavior of dynamic systems: component reasoning for concurrent objects
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- A Complete Guide to the Future
- Cooperation of background reasoners in theory reasoning by residue sharing
- Compositional reasoning about active objects with shared futures
- Resource analysis of distributed systems
- A sound and complete reasoning system for asynchronous communication with shared futures
- Observable interface behaviour and inheritance
- Observable behavior of distributed systems: component reasoning for concurrent objects
This page was built for publication: Compositional Reasoning about Shared Futures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899685)
