Linear Logics with Communication-merge

DOI10.1093/logcom/exh029zbMath1069.03018OpenAlexW2083250580MaRDI QIDQ4673354

Norihiro Kamide

Publication date: 29 April 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exh029

zbMATH Keywords

mixcut-eliminationconcurrent computationminglecommunication-merge rulesmodal intuitionistic linear logicsprocess algebra with communication-merge

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (2)

Linear and affine logics with temporal, spatial and epistemic operators ⋮ Debits and Credits in Petri Nets and Linear Logic

This page was built for publication: Linear Logics with Communication-merge