Image de couverture de livre

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Różowski, Wojciech
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Quantitative Monoidal Algebra: Axiomatising Distance with String Diagrams
par: Lobbia, Gabriele, et autres
Publié: (2024)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
par: Różowski, Wojciech, et autres
Publié: (2026)

A Completeness Theorem for Probabilistic Regular Expressions
par: Różowski, Wojciech, et autres
Publié: (2023)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
par: Bergstra, Jan A, et autres
Publié: (2023)

Weighted GKAT: Completeness and Complexity
par: Van Koevering, Spencer, et autres
Publié: (2025)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
par: D'Angelo, Keri, et autres
Publié: (2024)

Complete Diagrammatic Axiomatisations of Relative Entropy
par: Sarkis, Ralph, et autres
Publié: (2026)

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
par: Hannula, Miika, et autres
Publié: (2026)

A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
par: Piedeleu, Robin, et autres
Publié: (2024)

A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version)
par: Ge, Rui, et autres
Publié: (2024)

Axiomatisation for an asynchronous epistemic logic with sending and receiving messages
par: Balbiani, Philippe, et autres
Publié: (2025)

Constructing Witnesses for Lower Bounds on Behavioural Distances
par: Turkenburg, Ruben, et autres
Publié: (2025)

A Complete Propositional Dynamic Logic for Regular Expressions with Lookahead
par: Nakamura, Yoshiki
Publié: (2026)

Complete $ω$-Regular Supermartingale Certificates
par: Abate, Alessandro, et autres
Publié: (2026)

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
par: Grabmayer, Clemens
Publié: (2022)

Flipping and Forking
par: Przybyszewski, Wojciech, et autres
Publié: (2025)

On the Completeness of Interpolation Algorithms
par: Hetzl, Stefan, et autres
Publié: (2024)

Completions of Kleene's second model
par: Terwijn, Sebastiaan A.
Publié: (2023)

Fractals from Regular Behaviours
par: Schmid, Todd, et autres
Publié: (2023)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
par: Indrzejczak, Andrzej, et autres
Publié: (2024)

Complete and Terminating Tableau Calculus for Undirected Graph
par: Nishimura, Yuki, et autres
Publié: (2024)

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
par: Kolesar, John, et autres
Publié: (2025)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
par: Zhang, Yuanrui, et autres
Publié: (2023)

Proof-Theoretic Functional Completeness for the Connexive Logic C
par: Ayhan, Sara, et autres
Publié: (2025)

Some General Completeness Results for Propositionally Quantified Modal Logics
par: Ding, Yifeng, et autres
Publié: (2024)

Complete representation by partial functions for signatures containing antidomain restriction
par: McLean, Brett
Publié: (2023)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

Proving Behavioural Apartness
par: Turkenburg, Ruben, et autres
Publié: (2024)

The Relational Quotient Completion
par: Dagnino, Francesco, et autres
Publié: (2024)

Completeness of Relational Algebra via Cylindric Algebra
par: Laštovička, Jan
Publié: (2026)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
par: Ghosh, Avijeet, et autres
Publié: (2025)

Graded Monads and Behavioural Equivalence Games
par: Ford, Chase, et autres
Publié: (2022)

Graded Quantitative Narrowing
par: Ayala-Rincón, Mauricio, et autres
Publié: (2025)

Quantitative and Approximate Monitoring
par: Henzinger, Thomas A., et autres
Publié: (2021)

On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle
par: Ancona, Davide, et autres
Publié: (2025)

Tools at the Frontiers of Quantitative Verification
par: Andriushchenko, Roman, et autres
Publié: (2024)

Sum and Tensor of Quantitative Effects
par: Bacci, Giorgio, et autres
Publié: (2022)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
par: Sangiorgi, Davide
Publié: (2024)

Regular Typed Unification
par: Barbosa, João, et autres
Publié: (2024)

A Hierarchy of Supermartingales for $ω$-Regular Verification
par: Kura, Satoshi, et autres
Publié: (2025)