Cover Image

Lowerbounds for Bisimulation by Partition Refinement

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Groote, Jan Friso, Martens, Jan, de Vink, Erik. P.
Format:	Preprint
Published:	2022
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Quadratic Lower Bound for Simulation
by: Groote, Jan Friso, et al.
Published: (2024)

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

A formal specification of the desired software behaviour of the Princess Marijke lock complex
by: Groote, Jan Friso, et al.
Published: (2025)

Tutorial: Designing Distributed Software in mCRL2
by: Groote, Jan Friso, et al.
Published: (2021)

Formal Modelling and Analysis of Slot Machines
by: Groote, Jan Friso, et al.
Published: (2024)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
by: Jansen, David N., et al.
Published: (2019)

A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier
by: Beers, Adrian, et al.
Published: (2025)

Multiset Bisimulations as a Common Framework for Ordinary and Probabilistic Bisimulations
by: de Frutos-Escrig, David, et al.
Published: (2024)

Branching Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2025)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
by: Jilissen, Kevin H. J., et al.
Published: (2024)

Finitary Truly Concurrent Bisimulations
by: Wang, Yong
Published: (2026)

Bisimulation Learning
by: Abate, Alessandro, et al.
Published: (2024)

Better Bounded Bisimulation Contractions (Preprint)
by: Bolander, Thomas, et al.
Published: (2024)

A Spectrum of Approximate Probabilistic Bisimulations
by: Spork, Timm, et al.
Published: (2024)

Relating Apartness and Branching Bisimulation Games
by: Rot, Jurriaan, et al.
Published: (2024)

Aczel-Mendler Bisimulations in a Regular Category
by: Dubut, Jeremy
Published: (2023)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
by: Alrahman, Yehia Abd, et al.
Published: (2025)

A Framework for Coalgebraic Reward-Sensitive Bisimulation (Extended Version)
by: de Amorim, Pedro H. Azevedo, et al.
Published: (2026)

A Strong Bisimulation for a Classical Term Calculus
by: Bonelli, Eduardo, et al.
Published: (2021)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
by: Suilen, Marnix, et al.
Published: (2026)

Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
by: Spork, Timm, et al.
Published: (2025)

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

A Coalgebraic Model of Quantum Bisimulation
by: Ceragioli, Lorenzo, et al.
Published: (2025)

On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Uniformity within Parameterized Circuit Classes
by: Hegeman, Steef, et al.
Published: (2025)

Composing Codensity Bisimulations
by: Kori, Mayuko, et al.
Published: (2024)

Efficient Coalgebraic Partition Refinement
by: Dorsch, Ulrich, et al.
Published: (2017)

Bisimulations and Logics for Higher-Dimensional Automata
by: Zouari, Safa, et al.
Published: (2024)

Bisimulation for Feller-Dynkin Processes
by: Chen, Linan, et al.
Published: (2019)

Relational Dualities and Bisimulation
by: Kozicki, Piotr, et al.
Published: (2026)

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

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

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Input-based Three-valued Abstraction Refinement
by: Onderka, Jan, et al.
Published: (2024)

Ordered Completion for Non-Locally Tight mini-gringo Programs
by: Heuer, Jan
Published: (2025)

On first-order model checking parameterized by the number of variables
by: Jedelský, Jan
Published: (2026)

An Evaluation of Massively Parallel Algorithms for DFA Minimization
by: Martens, Jan, et al.
Published: (2024)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
by: Fiuk, Oskar, et al.
Published: (2025)