CONCUR 2005 – Concurrency Theory
From MaRDI portal
Publication:5897472
DOI10.1007/11539452zbMath1134.68449OpenAlexW1737342522MaRDI QIDQ5897472
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11539452
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (5)
Interaction graphs: graphings ⋮ The true concurrency of differential interaction nets ⋮ An exact correspondence between a typed pi-calculus and polarised proof-nets ⋮ Interpreting a finitary pi-calculus in differential interaction nets ⋮ Hard combinators
This page was built for publication: CONCUR 2005 – Concurrency Theory
