A monoidal view on fixpoint checks

DOI10.1007/978-3-031-36709-0_1MaRDI QIDQ6535504zbMATHFDO

Authors Paolo Baldan, Richard Eggert, Barbara König, Timo Matt, Tommaso Padoan

Publication date 12 January 2024

Mathematics Subject Classification ID

MV-algebras (06D35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Monoidal categories, symmetric monoidal categories (18M05)

Recommendations

• Publication:4206923
• Fixed Points In Quantitative Semantics
• Fixing Zeno gaps
• Computable fixpoints in well-structured symbolic model checking
• scientific article; zbMATH DE number 431768

Cites work

• scientific article; zbMATH DE number 1189283 (Why is no real title available?)
• scientific article; zbMATH DE number 549853 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 2221683 (Why is no real title available?)
• A Geometric Approach to MV-Algebras
• A lattice-theoretical fixpoint theorem and its applications
• A lattice-theoretical view of strategy iteration
• A monoidal view on fixpoint checks
• Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains
• An algebraic presentation of term graphs, via gs-monoidal categories
• Coalgebraic behavioral metrics
• Coalgebraic modal logic: soundness, completeness and decidability of local consequence
• Computing probabilistic bisimilarity distances for probabilistic automata
• Expressivity of coalgebraic modal logic: the limits and beyond
• Fixpoint theory -- upside down
• Introduction to bisimulation and coinduction
• Metrics for labelled Markov processes
• On the complexity of computing probabilistic bisimilarity
• On-the-fly computation of bisimilarity distances
• Optimal Transport
• Universal coalgebra: A theory of systems
• Up-to techniques for behavioural metrics via fibrations

Cited in

(1)

• A monoidal view on fixpoint checks

This page was built for publication: A monoidal view on fixpoint checks

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