The true concurrency of differential interaction nets

DOI10.1017/S0960129516000402zbMATH Open1398.68370OpenAlexW2556421358MaRDI QIDQ4577982FDOQ4577982

Authors 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)

Recommendations

• Interpreting a finitary pi-calculus in differential interaction nets
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Differential interaction nets
• A hierarchy of expressiveness in concurrent interaction nets
• CONCUR 2005 – Concurrency Theory

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• scientific article; zbMATH DE number 1302042 (Why is no real title available?)
• scientific article; zbMATH DE number 554483 (Why is no real title available?)
• scientific article; zbMATH DE number 937366 (Why is no real title available?)
• scientific article; zbMATH DE number 969069 (Why is no real title available?)
• scientific article; zbMATH DE number 2242584 (Why is no real title available?)
• Acyclic solos and differential interaction nets
• An exact correspondence between a typed pi-calculus and polarised proof-nets
• Asynchronous games. II: The true concurrency of innocence
• CONCUR 2005 – Concurrency Theory
• Computational interpretations of linear logic
• Concurrent transition systems
• Differential interaction nets
• Event structure semantics of parallel extrusion in the pi-calculus
• Explicit fusions
• Expressiveness of process algebras
• Finiteness spaces
• Interaction combinators
• Interpreting a finitary pi-calculus in differential interaction nets
• Linear logic
• Models for concurrency: Towards a classification
• On the \(\pi\)-calculus and linear logic
• Petri nets, event structures and domains. I
• Probabilistic event structures and domains
• Proofs as processes
• Session types as intuitionistic linear propositions
• Strong normalisation in the \(\pi\)-calculus
• The conflict-free reduction geometry
• Towards a unified approach to encodability and separation results for process calculi
• Unfolding semantics of graph transformation

Cited in

(7)

• Acyclic solos and differential interaction nets
• CONCUR 2005 – Concurrency Theory
• A deep inference system for differential linear logic
• Observed Communication Semantics for Classical Processes
• Interpreting a Finitary Pi-calculus in Differential Interaction Nets
• Conflation confers concurrency
• A hierarchy of expressiveness in concurrent interaction nets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577982)