Relating reasoning methodologies in linear logic and process algebra

DOI10.1017/S0960129514000413zbMath1361.68166MaRDI QIDQ5741581

Iliano Cervesato, Yu-xin Deng, Robert J. Simmons

Publication date: 28 July 2016

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

Mathematics Subject Classification ID

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

Related Items

An Analytic Propositional Proof System on Graphs ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Relating state-based and process-based concurrency through linear logic (full-version)
• Interpreting a finitary pi-calculus in differential interaction nets
• On bisimulations for the asynchronous \(\pi\)-calculus
• Proofs as processes
• On reduction-based process semantics
• Encoding transition systems in sequent calculus
• A hierarchy of equivalences for asynchronous calculi
• Untersuchungen über das logische Schliessen. I
• Structural cut elimination. I: Intuitionistic and classical logic
• A spatial logic for concurrency. I
• On the Semantics of Markov Automata
• Deriving Structural Labelled Transitions for Mobile Ambients
• Session Types as Intuitionistic Linear Propositions
• Algebraic laws for nondeterminism and concurrency
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics