Observable behavior of dynamic systems: component reasoning for concurrent objects

DOI10.1016/J.ENTCS.2008.04.084MaRDI QIDQ2864507zbMATH OpenOpenAlexFDO

Authors Johan Dovland, Einar Broch Johnsen, Olaf Owe

Publication date 6 December 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.04.084

zbMATH Keywords

dynamic systemsconcurrent objectsobservable behaviorinteraction histories

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Observable behavior of distributed systems: component reasoning for concurrent objects
• Compositional reasoning about active objects with shared futures
• Object-oriented specification and open distributed systems
• Compositional Reasoning about Shared Futures
• A sound and complete reasoning system for asynchronous communication with shared futures

Cites work

• scientific article; zbMATH DE number 1693528 (Why is no real title available?)
• scientific article; zbMATH DE number 3833276 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1759367 (Why is no real title available?)
• A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
• A proof technique for parallel programs
• An assertion-based proof system for multithreaded Java
• Axiomatic semantics of communicating sequential processes
• Defining liveness
• Formal Methods for Components and Objects
• From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl.
• Guarded commands, nondeterminacy and formal derivation of programs
• Observable behavior of dynamic systems: component reasoning for concurrent objects
• Specification and Development of Interactive Systems
• Ten Years of Hoare's Logic: A Survey—Part I
• Ten years of Hoare's logic: A survey. II: Nondeterminism

Cited in

(14)

• Observable behavior of dynamic systems: component reasoning for concurrent objects
• On detecting over-eager concurrency in asynchronously communicating concurrent object systems
• Lazy behavioral subtyping
• An operational semantics for object-oriented concepts based on the class hierarchy
• Compositional reasoning about active objects with shared futures
• Dynamic Observers for the Synthesis of Opaque Systems
• A sound and complete reasoning system for asynchronous communication with shared futures
• scientific article; zbMATH DE number 4001463 (Why is no real title available?)
• Incremental reasoning with lazy behavioral subtyping for multiple inheritance
• Object-oriented specification and open distributed systems
• Dynamic rebinding for concurrent object groups: theory and practice
• A system for compositional verification of asynchronous objects
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Creol: A type-safe object-oriented model for distributed concurrent systems

This page was built for publication: Observable behavior of dynamic systems: component reasoning for concurrent objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864507)