Pages that link to "Item:Q843206"
From MaRDI portal
The following pages link to Behavioral interface description of an object-oriented language with futures and promises (Q843206):
Displaying 6 items.
- ASP\(_{\text{fun}}\) : a typed functional active object calculus (Q433340) (← links)
- Observable behavior of distributed systems: component reasoning for concurrent objects (Q444466) (← links)
- Termination detection for active objects (Q444506) (← 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)
- Secure Implementation of Asynchronous Method Calls and Futures (Q2957110) (← links)
