The following pages link to CONCUR 2005 – Concurrency Theory (Q5897472):
Displayed 5 items.
- Interaction graphs: graphings (Q345705) (← links)
- 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)
- Hard combinators (Q2870311) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)