Relating reasoning methodologies in linear logic and process algebra

DOI10.1017/S0960129514000413MaRDI QIDQ5741581zbMATH OpenFDO

Authors Yuxin Deng, Robert J. Simmons, Iliano Cervesato

Publication date 28 July 2016

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129514000413

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
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• scientific article; zbMATH DE number 1222107
• scientific article; zbMATH DE number 1361538
• scientific article; zbMATH DE number 125887

Cites work

• A hierarchy of equivalences for asynchronous calculi
• A spatial logic for concurrency. I
• Algebraic laws for nondeterminism and concurrency
• Deriving Structural Labelled Transitions for Mobile Ambients
• Encoding transition systems in sequent calculus
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• Interpreting a finitary pi-calculus in differential interaction nets
• Linear logic
• On bisimulations for the asynchronous -calculus
• On reduction-based process semantics
• On the semantics of Markov automata
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• Proofs as processes
• Relating state-based and process-based concurrency through linear logic (full-version)
• Session types as intuitionistic linear propositions
• Structural cut elimination. I: Intuitionistic and classical logic
• Untersuchungen über das logische Schliessen. I

Cited in

(6)

• 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
• A universal session type for untyped asynchronous communication
• An Analytic Propositional Proof System on Graphs

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 Q5741581)