The following pages link to (Q5714437):
Displayed 6 items.
- An exact correspondence between a typed pi-calculus and polarised proof-nets (Q974114) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- Concurrent nets: a study of prefixing in process calculi (Q2491636) (← links)
- Explicit fusions (Q2566040) (← links)
- Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)