Imagen de Portada

A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Grabmayer, Clemens
Formato:	Preprint
Publicado:	2022
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
por: Grabmayer, Clemens, et al.
Publicado: (2025)

Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
por: Kolesar, John, et al.
Publicado: (2025)

From Compactifying Lambda-Letrec Terms to Recognizing Regular-Expression Processes
por: Grabmayer, Clemens
Publicado: (2024)

Coinductive Proofs for Temporal Hyperliveness
por: Correnson, Arthur, et al.
Publicado: (2025)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
por: Zhang, Yuanrui, et al.
Publicado: (2023)

Formalising Inductive and Coinductive Containers
por: Damato, Stefania, et al.
Publicado: (2024)

Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
por: Cerda, Rémy, et al.
Publicado: (2025)

On Bisimilarity for Quasi-discrete Closure Spaces
por: Ciancia, Vincenzo, et al.
Publicado: (2023)

Coinductive Streams in Monoidal Categories
por: Di Lavore, Elena, et al.
Publicado: (2022)

The Size-Change Principle for Mixed Inductive and Coinductive types
por: Hyvernat, Pierre
Publicado: (2024)

Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions
por: Stoltenow, Lara, et al.
Publicado: (2024)

Master Thesis Impredicative Encodings of Inductive and Coinductive Types
por: Bronsveld, Steven, et al.
Publicado: (2025)

DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
por: Feng, Nick, et al.
Publicado: (2024)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
por: Traversié, Thomas
Publicado: (2024)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
por: Komel, Anja Petković, et al.
Publicado: (2025)

Hereditary History-Preserving Bisimilarity: Characterizations via Backward Ready Multisets
por: Bernardo, Marco, et al.
Publicado: (2025)

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
por: Bezhanishvili, Nick, et al.
Publicado: (2024)

Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings
por: Bernardo, Marco, et al.
Publicado: (2024)

Constraint Learning for Non-confluent Proof Search
por: Rawson, Michael, et al.
Publicado: (2026)

Bisimilarity in fresh-register automata
por: Murawski, Andrzej S., et al.
Publicado: (2020)

Minimising the Probabilistic Bisimilarity Distance
por: Kiefer, Stefan, et al.
Publicado: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
por: Santo, José Espírito, et al.
Publicado: (2020)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
por: Montesi, Fabrizio, et al.
Publicado: (2026)

Proofs that Modify Proofs, 1/2
por: Towsner, Henry
Publicado: (2025)

Robust Probabilistic Bisimilarity for Labelled Markov Chains
por: Fatmi, Syyeda Zainab, et al.
Publicado: (2025)

Place Bisimilarity is Decidable, Indeed!
por: Gorrieri, Roberto
Publicado: (2021)

Positive Hennessy-Milner Logic for Branching Bisimulation
por: Geuvers, Herman, et al.
Publicado: (2022)

A Complete Quantitative Axiomatisation of Behavioural Distance of Regular Expressions
por: Różowski, Wojciech
Publicado: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
por: Pacheco, Leonardo
Publicado: (2026)

KindHML: formal verification of smart contracts based on Hennessy-Milner logic
por: Bartoletti, Massimo, et al.
Publicado: (2026)

MCSAT Modulo Transcendental Arithmetics
por: Gallego-Hernández, Jorge, et al.
Publicado: (2026)

Generalized Optimization Modulo Theories
por: Tsiskaridze, Nestan, et al.
Publicado: (2024)

Congruence Closure Modulo Groups
por: Kim, Dohan
Publicado: (2023)

On Proof Systems for #QBF
por: Chede, Sravanthi, et al.
Publicado: (2026)

Branching Bisimilarity for Processes with Time-outs
por: Reghem, Gaspard, et al.
Publicado: (2024)

LISA -- A Modern Proof System
por: Guilloud, Simon, et al.
Publicado: (2025)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
por: van Glabbeek, Rob, et al.
Publicado: (2025)

Satisfiability Modulo Exponential Integer Arithmetic
por: Frohn, Florian, et al.
Publicado: (2024)

Symmetric Proofs in the Ideal Proof System
por: Dawar, Anuj, et al.
Publicado: (2025)

The Proof Analysis Problem
por: Arteche, Noel, et al.
Publicado: (2025)