Pages that link to "Item:Q4899685"
From MaRDI portal
The following pages link to Compositional Reasoning about Shared Futures (Q4899685):
Displaying 9 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)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- Cooperation of background reasoners in theory reasoning by residue sharing (Q1810855) (← links)
- Resource analysis of distributed systems (Q2026780) (← 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)
- Observable interface behaviour and inheritance (Q5741571) (← links)