The following pages link to (Q4417854):
Displaying 10 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Strong normalisation in the \(\pi\)-calculus (Q598201) (← links)
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Linearity and bisimulation (Q997996) (← links)
- Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- (Q2851048) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
