Compositional Reasoning about Shared Futures

DOI10.1007/978-3-642-33826-7_7MaRDI QIDQ4899685zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

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

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)