Pages that link to "Item:Q890481"
From MaRDI portal
The following pages link to Compositional reasoning about active objects with shared futures (Q890481):
Displaying 12 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- A lightweight approach to smart contracts supporting safety, security, and privacy (Q2141289) (← links)
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) (← links)
- Observable behavior of dynamic systems: component reasoning for concurrent objects (Q2864507) (← links)
- Modeling Actor Systems Using Dynamic I/O Automata (Q3179176) (← links)
- KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (Q3454119) (← links)
- Compositional Reasoning about Shared Futures (Q4899685) (← links)
- The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics (Q6122639) (← links)
- Runtime enforcement using knowledge bases (Q6535223) (← links)