Pages that link to "Item:Q2802455"
From MaRDI portal
The following pages link to A Semantics for Propositions as Sessions (Q2802455):
Displaying 21 items.
- Session types without sophistry. System description (Q2039935) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Propositions as sessions (Q2875234) (← links)
- Linear Logical Relations for Session-Based Concurrency (Q2892750) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← 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)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5018488) (← links)
- Modular Inference of Linear Types for Multiplicity-Annotated Arrows (Q5041106) (← links)
- (Q5141618) (← links)
- Propositions as sessions (Q5168904) (← links)
- Linear logic propositions as session types (Q5741566) (← 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)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)
- Non-linear communication via graded modal session types (Q6647771) (← links)
