An O(m log n) algorithm for branching bisimilarity on labelled transition systems (Q5164166)
From MaRDI portal
scientific article; zbMATH DE number 7423365
Language | Label | Description | Also known as |
---|---|---|---|
English | An O(m log n) algorithm for branching bisimilarity on labelled transition systems |
scientific article; zbMATH DE number 7423365 |
Statements
An O(m log n) algorithm for branching bisimilarity on labelled transition systems (English)
0 references
10 November 2021
0 references
branching bisimilarity
0 references
algorithm
0 references
labelled transition systems
0 references
0 references