Pages that link to "Item:Q465485"
From MaRDI portal
The following pages link to A sound and complete reasoning system for asynchronous communication with shared futures (Q465485):
Displaying 12 items.
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- A secrecy-preserving language for distributed and object-oriented systems (Q1648643) (← links)
- An evaluation of interaction paradigms for active objects (Q1734521) (← links)
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems (Q2360659) (← links)
- (Q2757805) (← links)
- Observable behavior of dynamic systems: component reasoning for concurrent objects (Q2864507) (← links)
- Compositional Reasoning about Shared Futures (Q4899685) (← links)
- Global Reproducibility Through Local Control for Distributed Active Objects (Q5039528) (← links)
- Stateful Behavioral Types for Active Objects (Q6104495) (← links)
- Axiomatic characterization of trace reachability for concurrent objects (Q6536350) (← links)