Pages that link to "Item:Q557787"
From MaRDI portal
The following pages link to A fully abstract may testing semantics for concurrent objects (Q557787):
Displaying 4 items.
- Abstraction for concurrent objects (Q615951) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Abstract interface behavior of object-oriented languages with monitors (Q1015384) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
