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 15 items.
- Combining behavioural types with security analysis (Q890614) (← 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)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Linear $$ \lambda \mu $$ is $$ \textsc {CP} $$ (more or less) (Q3188293) (← links)
- (Q5009447) (← links)
- (Q5020946) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- (Q5875401) (← links)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
