The following pages link to On confluence in the π-calculus (Q4571963):
Displaying 10 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Linearity and bisimulation (Q997996) (← links)
- On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- On the representation of McCarthy's amb in the \(\pi\)-calculus (Q2847406) (← links)
- A Distribution Law for CCS and a New Congruence Result for the pi-calculus (Q3518280) (← links)
- (Q4664925) (← links)
- On asynchronous eventful session semantics (Q5741564) (← links)
- A Distribution Law for CCS and a New Congruence Result for the π-Calculus (Q5758047) (← links)
- Computer Aided Verification (Q5900705) (← links)
