The following pages link to Session types revisited (Q2407105):
Displaying 42 items.
- Fundamentals of session types (Q714736) (← links)
- The \(C_\pi\)-calculus: a model for confidential name passing (Q1996859) (← links)
- Session types without sophistry. System description (Q2039935) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Prioritise the best variation (Q2117016) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Type theory based semantic verification for service composition in cloud computing environments (Q2200647) (← links)
- Types for complexity of parallel computation in pi-calculus (Q2233448) (← links)
- Nested session types (Q2233456) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Session types revisited (Q2407105) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Interface automata for shared memory (Q2675806) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
- Session Types with Gradual Typing (Q2811931) (← links)
- A calculus of global interaction based on session types (Q2864218) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- Binary Session Types for Psi-Calculi (Q3179282) (← links)
- Subtyping Supports Safe Session Substitution (Q3188281) (← links)
- Affine sessions (Q4558783) (← links)
- (Q4596804) (← links)
- (Q4904221) (← links)
- (Q4965859) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5013868) (← links)
- (Q5018488) (← links)
- (Q5094146) (← links)
- (Q5216412) (← links)
- Manifest deadlock-freedom for shared session types (Q6070799) (← links)
- Minimal session types for the \(\pi\)-calculus (Q6124244) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- A Java-like calculus with heterogeneous coeffects (Q6175517) (← links)
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)
- Polymorphic higher-order context-free session types (Q6499549) (← links)
- System \(F^\mu_\omega\) with context-free session types (Q6535246) (← links)
- Fair termination of multiparty sessions (Q6561335) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
