The following pages link to Propositions as sessions (Q2875234):
Displaying 35 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- Choreographies, logically (Q1699421) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- Session types without sophistry. System description (Q2039935) (← links)
- Mixed sessions (Q2055956) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Causal computational complexity of distributed processes (Q2112798) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- On the Hardness of Proving CCA-Security of Signed ElGamal (Q2798771) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Context-Free Session Type Inference (Q2988669) (← links)
- A Higher-Order Logic for Concurrent Termination-Preserving Refinement (Q2988673) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- Certifying Data in Multiparty Session Types (Q3188299) (← links)
- (Q3384877) (← links)
- (Q5020946) (← links)
- Mixed Sessions (Q5041119) (← links)
- (Q5089024) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
- (Q5875401) (← links)
- Concurrent Process Histories and Resource Transducers (Q5883753) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- A Theory of Formal Choreographic Languages (Q6135778) (← links)
- Protocol choice and iteration for the free cornering (Q6151626) (← links)
- Session-based concurrency in Maude: executable semantics and type checking (Q6156938) (← links)
