Pages that link to "Item:Q2576663"
From MaRDI portal
The following pages link to Genericity and the \(\pi\)-calculus (Q2576663):
Displaying 6 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- A curry-style semantics of interaction: from untyped to second-order lazy \(\lambda\mu\)-calculus (Q2200839) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Propositions as sessions (Q2875234) (← links)
- Full Abstraction in a Subtyped pi-Calculus with Linear Types (Q3090836) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
