Media type: E-Book; Video Title: An O(m log n) algorithm for branching bisimilarity on labelled transition systems Contributor: Jansen, David N. [Author]; Keiren, Jeroen J. A. [Other]; Wijs, Anton [Other]; Friso Groote, Jan [Other] imprint: [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021 Published in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021) Extent: 1 Online-Ressource (940 MB, 00:16:14:15) Language: English DOI: 10.5446/55026 Identifier: Keywords: Branching bisimilarity ; Algorithm ; Labelled transition system Origination: Footnote: Audiovisuelles Material Access State: Open Access Rights information: Attribution - Non Commercial (CC BY-NC)