The following pages link to (Q4490718):
Displaying 12 items.
- A fully abstract may testing semantics for concurrent objects (Q557787) (← links)
- A concurrent lambda calculus with futures (Q860851) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Full abstractness for a functional/concurrent language with higher-order value-passing (Q1271466) (← links)
- Fully abstract semantics for observably sequential languages (Q1327401) (← links)
- Abstract interpretation of trace semantics for concurrent calculi (Q1606931) (← links)
- (Q2723440) (← links)
- Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion (Q3166224) (← links)
- Mobile Processes and Termination (Q3184750) (← links)
- Higher-order processes and their models (Q4632434) (← links)
- May and must convergency in concurrent λ-calculus (Q5096878) (← links)
- Full abstraction for lambda calculus with resources and convergence testing (Q5878917) (← links)