The following pages link to (Q4508308):
Displaying 12 items.
- Nets, sequential components and concurrency relations (Q797994) (← links)
- Operational equivalence for interaction nets. (Q1401297) (← links)
- Encoding linear logic with interaction combinators (Q1854547) (← links)
- Interaction nets with McCarthy's \(\mathsf{amb}\) (Q2842603) (← links)
- A calculus for interaction nets based on the linear chemical abstract machine (Q2864502) (← links)
- From functional programs to interaction nets via the rewriting calculus (Q2864528) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- (Q5013814) (← links)
- Recursive Functions with Pattern Matching in Interaction Nets (Q5170281) (← links)
- Compilation of Interaction Nets (Q5170282) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897472) (← links)
- An Explicit Framework for Interaction Nets (Q5902126) (← links)