The following pages link to Fundamentals of session types (Q714736):
Displaying 28 items.
- Fundamentals of session types (Q714736) (← links)
- A message-passing interpretation of adjoint logic (Q2035649) (← 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)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Honesty by Typing (Q2974791) (← links)
- (Q4558783) (← 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)
- 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)
