The following pages link to Fundamentals of session types (Q714736):
Displaying 39 items.
- Fundamentals of session types (Q714736) (← links)
- Type checking a multithreaded functional language with session types (Q859841) (← links)
- Type reconstruction for linear \(\pi\)-calculus with I/O subtyping. (Q1854358) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← links)
- Session types without sophistry. System description (Q2039935) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- A calculus for modeling floating authorizations (Q2329444) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Session types revisited (Q2407105) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Type-checking liveness for collaborative processes with bounded and unbounded recursion (Q2790164) (← links)
- A calculus of global interaction based on session types (Q2864218) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Honesty by Typing (Q2974791) (← links)
- Affine sessions (Q4558783) (← links)
- (Q4904221) (← links)
- (Q4965859) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5013868) (← links)
- (Q5028463) (← links)
- Mixed Sessions (Q5041119) (← links)
- Session Types with Arithmetic Refinements (Q5089277) (← links)
- (Q5094146) (← links)
- (Q5141618) (← links)
- Linearity, session types and the Pi calculus (Q5741562) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
- Executable Semantics and Type Checking for Session-Based Concurrency in Maude (Q6487298) (← links)
- MAG\(\pi\): types for failure-prone communication (Q6535245) (← links)
- System \(F^\mu_\omega\) with context-free session types (Q6535246) (← links)
- Resource sharing via capability-based multiparty session types (Q6536357) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)
- Non-linear communication via graded modal session types (Q6647771) (← links)
- Deadlock freedom for asynchronous and cyclic process networks (Q6649541) (← links)
