scientific article; zbMATH DE number 7559481

DOI10.4230/LIPICS.CONCUR.2020.25MaRDI QIDQ5089290FDOQ5089290

Authors: Paolo Baldan, Barbara König, Tommaso Padoan 

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/2003.08877

Title of this publication is not available (Why is that?)

zbMATH Keywords

abstract interpretationcomplete latticesparity gamesbisimilarityup-to techniques\(\mu\)-calculusfixpoint equation systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• The power of parameterization in coinductive proof
• Constructive versions of Tarski's fixed point theorems
• When not losing is better than winning: abstraction and refinement for the full \(\mu\)-calculus
• Checking NFA equivalence with bisimulations up to congruence
• Title not available (Why is that?)
• Model checking of probabilistic and nondeterministic systems
• Title not available (Why is that?)
• Results on the propositional \(\mu\)-calculus
• Enhancements of the bisimulation proof method
• Introduction to bisimulation and coinduction
• Title not available (Why is that?)
• Barbed bisimulation
• Fast and simple nested fixpoints
• Temporal abstract interpretation
• Making abstract interpretations complete
• Complete Lattices and Up-To Techniques
• Łukasiewicz \(\mu\)-calculus
• Succinct progress measures for solving parity games
• The mu-calculus and Model Checking
• Title not available (Why is that?)
• Deciding parity games in quasipolynomial time
• Coinduction All the Way Up
• Up-to techniques for behavioural metrics via fibrations
• A modal \(\mu\) perspective on solving parity games in quasi-polynomial time
• Results on the quantitative \(\mu\)-calculus \(qM\mu\)
• Sound up-to techniques and complete abstract domains
• Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation
• Precongruences and parametrized coinduction for logics for behavioral equivalence

Cited In (5)

• Fixpoint Theory -- Upside Down
• Operations on fixpoint equation systems
• Fixpoint theory -- upside down
• Up-to techniques for behavioural metrics via fibrations
• Systems of fixpoint equations: abstraction, games, up-to techniques and local algorithms

This page was built for publication:

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