Pages that link to "Item:Q476190"
From MaRDI portal
The following pages link to Linear logical relations and observational equivalences for session-based concurrency (Q476190):
Displaying 22 items.
- Combining behavioural types with security analysis (Q890614) (← links)
- A new linear logic for deadlock-free session-typed processes (Q1652969) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Nested session types (Q2233456) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Linear Logical Relations for Session-Based Concurrency (Q2892750) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- (Q4251120) (← links)
- A universal session type for untyped asynchronous communication (Q5009447) (← links)
- (Q5020946) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
- (Q5875401) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
- Safe session-based concurrency with shared linear state (Q6535247) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)
- Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)
