Observable behavior of distributed systems: component reasoning for concurrent objects

DOI10.1016/J.JLAP.2012.01.003zbMath1247.68184OpenAlexW1984201573MaRDI QIDQ444466

Crystal Chang Din, Olaf Owe, Johan Dovland, Einar Broch Johnsen

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

zbMATH Keywords

distributed systemsobject-orientationHoare logiccompositional reasoningconcurrent objects

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

On detecting over-eager concurrency in asynchronously communicating concurrent object systems ⋮ KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS ⋮ Modeling Actor Systems Using Dynamic I/O Automata ⋮ A secrecy-preserving language for distributed and object-oriented systems ⋮ Compositional reasoning about active objects with shared futures ⋮ Observable behavior of distributed systems: component reasoning for concurrent objects ⋮ A sound and complete reasoning system for asynchronous communication with shared futures ⋮ A proof system for adaptable class hierarchies ⋮ Analysis of Executable Software Models ⋮ An operational semantics for object-oriented concepts based on the class hierarchy

Uses Software

• Java Jr
• ABS
• JCobox

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observable behavior of distributed systems: component reasoning for concurrent objects
• Lazy behavioral subtyping
• A proof technique for parallel programs
• Behavioral interface description of an object-oriented language with futures and promises
• Ten years of Hoare's logic: A survey. II: Nondeterminism
• Defining liveness
• A system for compositional verification of asynchronous objects
• Specification and Development of Interactive Systems
• Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
• Axiomatic semantics of communicating sequential processes
• Ten Years of Hoare's Logic: A Survey—Part I
• Formal Methods for Components and Objects
• Programming Languages and Systems
• Object-Oriented Specification and Open Distributed Systems
• A Complete Guide to the Future
• Formal Methods for Open Object-Based Distributed Systems
• A Hoare logic for dynamic networks of asynchronously communicating deterministic processes

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