Relating reasoning methodologies in linear logic and process algebra

MaRDI QIDQ4986742zbMATH OpenFDO

Authors Yuxin Deng, Iliano Cervesato, Robert J. Simmons

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1211.4100, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2012.5

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Relating reasoning methodologies in linear logic and process algebra
• scientific article; zbMATH DE number 1222107
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• scientific article; zbMATH DE number 1361538
• scientific article; zbMATH DE number 125887

Cited in

(4)

• Encoding safety in \(\mathrm{CLL}_R\)
• scientific article; zbMATH DE number 1222107 (Why is no real title available?)
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• Relating reasoning methodologies in linear logic and process algebra

This page was built for publication: Relating reasoning methodologies in linear logic and process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4986742)