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.68175OpenAlexW2161063399MaRDI 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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items