On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems
From MaRDI portal
Publication:5416727
DOI10.3233/FI-2014-981zbMath1352.68175MaRDI QIDQ5416727
Alessandro Menti, Gianluigi Bellin
Publication date: 14 May 2014
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2014-981
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03F05: Cut-elimination and normal-form theorems
03F07: Structure of proofs
03F52: Proof-theoretic aspects of linear logic and other substructural logics
Related Items