Interpreting a finitary pi-calculus in differential interaction nets
From MaRDI portal
Publication:979075
DOI10.1016/J.IC.2009.06.005zbMath1205.68242OpenAlexW1974825923MaRDI QIDQ979075
Olivier Laurent, Thomas Ehrhard
Publication date: 25 June 2010
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2009.06.005
Related Items (9)
Conflation Confers Concurrency ⋮ The true concurrency of differential interaction nets ⋮ Jump from parallel to sequential proofs: exponentials ⋮ Visible acyclic differential nets. I: Semantics ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ Observed Communication Semantics for Classical Processes ⋮ Preface to the special volume ⋮ Relating reasoning methodologies in linear logic and process algebra ⋮ An interpretation of CCS into ludics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An approach to innocent strategies as graphs
- Linear logic
- Strong normalisation in the \(\pi\)-calculus
- Differential interaction nets
- An exact correspondence between a typed pi-calculus and polarised proof-nets
- Normal functors, power series and \(\lambda\)-calculus
- The chemical abstract machine
- The structure of multiplicatives
- Completeness results for linear logic on Petri nets
- Concurrent nets: a study of prefixing in process calculi
- Asynchronous games. II: The true concurrency of innocence
- Acyclic Solos and Differential Interaction Nets
- Bigraphs and transitions
- Descriptive and Relative Completeness of Logics for Higher-Order Functions
- Not Enough Points Is Enough
- A Powerdomain Construction
- Finiteness spaces
- CONCUR 2005 – Concurrency Theory
This page was built for publication: Interpreting a finitary pi-calculus in differential interaction nets
