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 12 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)
- Locally abstract, globally concrete semantics of concurrent programming languages (Q1694447) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896) (← links)
- Complete trace models of state and control (Q2233464) (← links)
- Higher-order linearisability (Q2423744) (← links)
- A chart semantics for the pi-calculus (Q2864369) (← links)
- (Q5111648) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710002) (← links)
- Logical Approaches to Computational Barriers (Q5898797) (← links)