Observable behavior of distributed systems: component reasoning for concurrent objects
DOI10.1016/J.JLAP.2012.01.003zbMATH Open1247.68184OpenAlexW1984201573MaRDI QIDQ444466FDOQ444466
Authors: Crystal Chang Din, Johan Dovland, Einar Broch Johnsen, Olaf Owe 
Publication date: 14 August 2012
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2012.01.003
Recommendations
- Observable behavior of dynamic systems: component reasoning for concurrent objects
- A sound and complete reasoning system for asynchronous communication with shared futures
- Compositional reasoning about active objects with shared futures
- Compositional Reasoning about Shared Futures
- A shared-variable concurrency analysis of multi-threaded object-oriented programs
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Title not available (Why is that?)
- Programming Languages and Systems
- Title not available (Why is that?)
- Ten Years of Hoare's Logic: A Survey—Part I
- Observable behavior of dynamic systems: component reasoning for concurrent objects
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Defining liveness
- Behavioral interface description of an object-oriented language with futures and promises
- Specification and Development of Interactive Systems
- Ten years of Hoare's logic: A survey. II: Nondeterminism
- A system for compositional verification of asynchronous objects
- Axiomatic semantics of communicating sequential processes
- Title not available (Why is that?)
- Formal Methods for Components and Objects
- Object-oriented specification and open distributed systems
- A Complete Guide to the Future
- A syntax-directed Hoare logic for object-oriented programming concepts.
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
- Lazy behavioral subtyping
- A proof technique for parallel programs
Cited In (16)
- Predicting the behaviour of three-tiered applications: dealing with distributed-object technology and databases
- Modeling actor systems using dynamic I/O automata
- Proving the safety of highly-available distributed objects
- Observable behavior of dynamic systems: component reasoning for concurrent objects
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- An operational semantics for object-oriented concepts based on the class hierarchy
- Compositional reasoning about active objects with shared futures
- Analysis of executable software models
- A sound and complete reasoning system for asynchronous communication with shared futures
- A proof system for adaptable class hierarchies
- Dynamic rebinding for concurrent object groups: theory and practice
- Observable behavior of distributed systems: component reasoning for concurrent objects
- A secrecy-preserving language for distributed and object-oriented systems
- Title not available (Why is that?)
- Observing Distributed Computation. A Dynamic-Epistemic Approach
- Key-ABS: a deductive verification tool for the concurrent modelling language ABS
Uses Software
This page was built for publication: Observable behavior of distributed 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 Q444466)
