Compositional reasoning about active objects with shared futures
From MaRDI portal
(Redirected from Publication:890481)
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
Cites work
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 54048 (Why is no real title available?)
- scientific article; zbMATH DE number 1105469 (Why is no real title available?)
- scientific article; zbMATH DE number 1487605 (Why is no real title available?)
- A Complete Guide to the Future
- A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
- A proof technique for parallel programs
- A system for compositional verification of asynchronous objects
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Axiomatic semantics of communicating sequential processes
- Behavioral interface description of an object-oriented language with futures and promises
- Cameo: an alternative model of concurrency for Eiffel
- Compositional Reasoning about Shared Futures
- Concurrency verification. Introduction to compositional and noncompositional methods
- Conditional rewriting logic as a unified model of concurrency
- Defining liveness
- Formalising Java RMI with explicit code mobility
- KeY: A Formal Method for Object-Oriented Systems
- MULTILISP: a language for concurrent symbolic computation
- Object-oriented specification and open distributed systems
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Programming Languages and Systems
- Specification and Development of Interactive Systems
Cited in
(16)- Key-ABS: a deductive verification tool for the concurrent modelling language ABS
- An evaluation of interaction paradigms for active objects
- Modeling actor systems using dynamic I/O automata
- Program verification for exception handling on active objects using futures
- Secure implementation of asynchronous method calls and futures
- Observable behavior of dynamic systems: component reasoning for concurrent objects
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- Behavioral interface description of an object-oriented language with futures and promises
- A lightweight approach to smart contracts supporting safety, security, and privacy
- A Complete Guide to the Future
- Compositional Reasoning about Shared Futures
- A sound and complete reasoning system for asynchronous communication with shared futures
- Observable behavior of distributed systems: component reasoning for concurrent objects
- 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
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)
