Pages that link to "Item:Q979075"
From MaRDI portal
The following pages link to Interpreting a finitary pi-calculus in differential interaction nets (Q979075):
Displaying 10 items.
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- Preface to the special volume (Q534064) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Conflation Confers Concurrency (Q3188279) (← links)
- The true concurrency of differential interaction nets (Q4577982) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)
