Bisimulation by Partitioning Is Ω((m+n)log n). (Q6176115)
From MaRDI portal
scientific article; zbMATH DE number 7730633
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bisimulation by Partitioning Is Ω((m+n)log n). |
scientific article; zbMATH DE number 7730633 |
Statements
21 August 2023
0 references
bisimilarity
0 references
partition refinement
0 references
labeled transition system
0 references
lowerbound
0 references
Bisimulation by Partitioning Is Ω((m+n)log n). (English)
0 references
