Pages that link to "Item:Q4571964"
From MaRDI portal
The following pages link to A proof theoretical approach to communication (Q4571964):
Displayed 7 items.
- Theory of interaction (Q896903) (← links)
- Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
- Understanding the mismatch combinator in chi calculus (Q1853614) (← links)
- Tau laws for pi calculus (Q1884877) (← links)
- Variations on mobile processes (Q1960530) (← links)
- Concurrent nets: a study of prefixing in process calculi (Q2491636) (← links)
- The λ-calculus in the π-calculus (Q3094164) (← links)