Divergence and unique solution of equations

DOI10.4230/LIPIcs.CONCUR.2017.7zbMath1442.68121OpenAlexW2918561041MaRDI QIDQ5111619

Alwen Tiu, Ki Yung Ahn, Ross Horne

Publication date: 27 May 2020

Full work available at URL: https://hal.science/hal-01643502

zbMATH Keywords

modal logicbisimulationintuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity ⋮ Unnamed Item ⋮ When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus ⋮ Unnamed Item ⋮ Constructing weak simulations from linear implications for processes with private names ⋮ Mechanized metatheory revisited ⋮ Divergence and unique solution of equations ⋮ Unnamed Item

Uses Software

• Bedwyr
• Abella

Cites Work

• Unnamed Item
• Unnamed Item
• Modal logics for mobile processes
• Results on the propositional \(\mu\)-calculus
• A calculus of mobile processes. II
• A theory of bisimulation for the \(\pi\)-calculus
• A two-level logic approach to reasoning about computations
• Modal logic and the approximation induction principle
• Proof search specifications of bisimulation and modal logics for the π-calculus
• Algebraic laws for nondeterminism and concurrency
• Divergence and unique solution of equations
• Abella: A System for Reasoning about Relational Specifications

This page was built for publication: Divergence and unique solution of equations