Pages that link to "Item:Q2892750"
From MaRDI portal
The following pages link to Linear Logical Relations for Session-Based Concurrency (Q2892750):
Displaying 15 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- A new linear logic for deadlock-free session-typed processes (Q1652969) (← links)
- Choreographies, logically (Q1699421) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Corecursion and Non-divergence in Session-Typed Processes (Q2811932) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- (Q4251120) (← links)
- On asynchronous eventful session semantics (Q5741564) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- (Q5875401) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)