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

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)

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

(11)

• An evaluation of interaction paradigms for active objects
• Cooperation of background reasoners in theory reasoning by residue sharing
• Resource analysis of distributed systems
• On detecting over-eager concurrency in asynchronously communicating concurrent object systems
• Observable behavior of dynamic systems: component reasoning for concurrent objects
• Observable behavior of distributed systems: component reasoning for concurrent objects
• A sound and complete reasoning system for asynchronous communication with shared futures
• Observable interface behaviour and inheritance
• A Complete Guide to the Future
• History-based reasoning about behavioral subtyping (extended paper)
• Compositional reasoning about active objects with shared futures

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)