Buchumschlag

Coalgebraic Behavioral Metrics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Baldan, Paolo, Bonchi, Filippo, Kerstan, Henning, König, Barbara
Format:	Preprint
Veröffentlicht:	2017
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Fixpoint Theory -- Upside Down
von: Baldan, Paolo, et al.
Veröffentlicht: (2021)

Well-Founded Coalgebras Meet König's Lemma
von: Urbat, Henning, et al.
Veröffentlicht: (2025)

An Expressive Coalgebraic Modal Logic for Cellular Automata
von: Basold, Henning, et al.
Veröffentlicht: (2025)

A Monoidal View on Fixpoint Checks
von: Baldan, Paolo, et al.
Veröffentlicht: (2023)

Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

Intrinsically Correct Algorithms and Recursive Coalgebras
von: Alexandru, Cass, et al.
Veröffentlicht: (2025)

Expressive Quantale-valued Logics for Coalgebras: an Adjunction-based Approach
von: Beohar, Harsh, et al.
Veröffentlicht: (2023)

A Coalgebraic Semantics for Intuitionistic Modal Logic
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

Approximating Fixpoints of Approximated Functions
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

Coalgebraic Path Constraints
von: Schmid, Todd
Veröffentlicht: (2026)

Tapes as Stochastic Matrices of String Diagrams
von: Bonchi, Filippo, et al.
Veröffentlicht: (2026)

A Diagrammatic Basis for Computer Programming
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

A Diagrammatic Algebra for Program Logics
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
von: Baldan, Paolo, et al.
Veröffentlicht: (2025)

Trees in Coalgebra from Generalized Reachability
von: Wißmann, Thorsten, et al.
Veröffentlicht: (2025)

Non-Expansive Fuzzy Coalgebraic Logic
von: Gebhart, Stefan, et al.
Veröffentlicht: (2025)

The calculus of neo-Peircean relations
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Coalgebraic Non-Wellfounded Proofs: Recursiveness and GTC
von: Kori, Mayuko
Veröffentlicht: (2026)

A No-go Theorem for Coalgebraic Product Construction
von: Kori, Mayuko, et al.
Veröffentlicht: (2025)

Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
von: Fábregas, Ignacio, et al.
Veröffentlicht: (2024)

A Categorical Approach to Coalgebraic Fixpoint Logic
von: Schoen, Ezra, et al.
Veröffentlicht: (2024)

Compositionality in Coalgebraic Trace Semantics
von: Jourde, Robin, et al.
Veröffentlicht: (2026)

When Lawvere meets Peirce: an equational presentation of boolean hyperdoctrines
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Diagrammatic Polyhedral Algebra
von: Bonchi, Filippo, et al.
Veröffentlicht: (2021)

Left-Linear Rewriting in Adhesive Categories
von: Baldan, Paolo, et al.
Veröffentlicht: (2024)

From Coalgebraic Determinization to Belief Construction for Partial Observability
von: Kori, Mayuko, et al.
Veröffentlicht: (2026)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
von: de Amorim, Pedro H. Azevedo, et al.
Veröffentlicht: (2026)

A Program Logic for Abstract (Hyper)Properties
von: Baldan, Paolo, et al.
Veröffentlicht: (2026)

A Coalgebraic Model of Quantum Bisimulation
von: Ceragioli, Lorenzo, et al.
Veröffentlicht: (2025)

Terminal Coalgebras in Countably Many Steps
von: Adámek, Jiří, et al.
Veröffentlicht: (2023)

Diagrammatic Algebra of First Order Logic
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Efficient Coalgebraic Partition Refinement
von: Dorsch, Ulrich, et al.
Veröffentlicht: (2017)

Program Logics via Distributive Monoidal Categories
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Tape Diagrams for Monoidal Monads
von: Bonchi, Filippo, et al.
Veröffentlicht: (2025)

Effectful Mealy Machines
von: Bonchi, Filippo, et al.
Veröffentlicht: (2024)

Coalgebraic Modal Logic for Dynamic Systems with Uncertainty
von: Gallardo, Andrés, et al.
Veröffentlicht: (2024)

On The Metric Nature of (Differential) Logical Relations
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2025)

On the Metric Nature of (Differential) Logical Relations
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2026)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
von: D'Angelo, Keri, et al.
Veröffentlicht: (2024)

Witnesses for Fixpoint Games on Lattices
von: König, Barbara, et al.
Veröffentlicht: (2026)