The following pages link to Linearity and bisimulation (Q997996):
Displaying 5 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Program equivalence in linear contexts (Q2346993) (← links)
- Fairness and communication-based semantics for session-typed languages (Q2672270) (← links)
- Trees from Functions as Processes (Q4585071) (← links)
- Linear logic propositions as session types (Q5741566) (← links)
