Compositional reasoning about active objects with shared futures
DOI10.1007/S00165-014-0322-YzbMATH Open1343.68166OpenAlexW2089178595MaRDI QIDQ890481FDOQ890481
Publication date: 10 November 2015
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-014-0322-y
Recommendations
- Compositional Reasoning about Shared Futures
- Compositional reasoning for shared-variable concurrent programs
- Observable behavior of dynamic systems: component reasoning for concurrent objects
- Mechanizing compositional reasoning for concurrent systems: some lessons
- The computational structure of progress conditions and shared objects
- Representing and reasoning about concurrent actions with abductive logic programs
- A sound and complete reasoning system for asynchronous communication with shared futures
- scientific article; zbMATH DE number 1536547
- A logical and ontological framework for compositional concepts of objects and properties
distributed systemsdynamic logicasynchronous communicationoperational semanticscompositional reasoningconcurrent objectscommunication historyobject orientationshared futures
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)
Cites Work
- Title not available (Why is that?)
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- KeY: A Formal Method for Object-Oriented Systems
- Programming Languages and Systems
- Title not available (Why is that?)
- Concurrency verification. Introduction to compositional and noncompositional methods
- Conditional rewriting logic as a unified model of concurrency
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Defining liveness
- MULTILISP: a language for concurrent symbolic computation
- Behavioral interface description of an object-oriented language with futures and promises
- Specification and Development of Interactive Systems
- A system for compositional verification of asynchronous objects
- Axiomatic semantics of communicating sequential processes
- Title not available (Why is that?)
- Object-Oriented Specification and Open Distributed Systems
- A Complete Guide to the Future
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
- A proof technique for parallel programs
- Formalising Java RMI with explicit code mobility
- Title not available (Why is that?)
- Compositional Reasoning about Shared Futures
- Cameo: an alternative model of concurrency for Eiffel
Cited In (9)
- Program verification for exception handling on active objects using futures
- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS
- A lightweight approach to smart contracts supporting safety, security, and privacy
- Modeling Actor Systems Using Dynamic I/O Automata
- A Complete Guide to the Future
- Compositional Reasoning about Shared Futures
- Asynchronous Cooperative Contracts for Cooperative Scheduling
- Runtime enforcement using knowledge bases
- The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
Uses Software
This page was built for publication: Compositional reasoning about active objects with shared futures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890481)
