Pages that link to "Item:Q979082"
From MaRDI portal
The following pages link to Typing termination in a higher-order concurrent imperative language (Q979082):
Displaying 4 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- A Kripke logical relation for effect-based program transformations (Q2629855) (← links)
- An Elementary Affine λ-Calculus with Multithreading and Side Effects (Q3007663) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
