Linear Logic as CSP

DOI10.1093/logcom/4.4.405zbMath0824.03030OpenAlexW2013393651MaRDI QIDQ4305350

Eric Monteiro

Publication date: 13 September 1994

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

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

zbMATH Keywords

correctnesscut-eliminationcommunicating sequential processesmultiplicative fragment of linear logicnormalization of proof netssimulation of parallel computation

Mathematics Subject Classification ID

Related Items (1)

On the \(\pi\)-calculus and linear logic

This page was built for publication: Linear Logic as CSP