Pages that link to "Item:Q2786128"
From MaRDI portal
The following pages link to Acyclic solos and differential interaction nets (Q2786128):
Displaying 6 items.
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- A coherent differential PCF (Q6178673) (← links)