The true concurrency of differential interaction nets

DOI10.1017/S0960129516000402zbMath1398.68370OpenAlexW2556421358MaRDI QIDQ4577982

Damiano Mazza

Publication date: 7 August 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129516000402

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Conflation Confers Concurrency ⋮ Observed Communication Semantics for Classical Processes ⋮ A deep inference system for differential linear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Strong normalisation in the \(\pi\)-calculus
• Models for concurrency: Towards a classification
• Computational interpretations of linear logic
• Differential interaction nets
• Unfolding semantics of graph transformation
• An exact correspondence between a typed pi-calculus and polarised proof-nets
• Interpreting a finitary pi-calculus in differential interaction nets
• Concurrent transition systems
• Petri nets, event structures and domains. I
• Proofs as processes
• On the \(\pi\)-calculus and linear logic
• Interaction combinators
• Towards a unified approach to encodability and separation results for process calculi
• Probabilistic event structures and domains
• Asynchronous games. II: The true concurrency of innocence
• Explicit fusions
• The conflict-free reduction geometry
• Acyclic Solos and Differential Interaction Nets
• Expressiveness of Process Algebras
• Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
• Session Types as Intuitionistic Linear Propositions
• Finiteness spaces
• CONCUR 2005 – Concurrency Theory

This page was built for publication: The true concurrency of differential interaction nets