An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation - researchr publication

researchr

You are not signed in
Sign in
Sign up

Jan Friso Groote, Anton Wijs. An O(m\log n) Algorithm for Stuttering Equivalence and Branching Bisimulation. In Marsha Chechik, Jean-François Raskin, editors, Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Volume 9636 of Lecture Notes in Computer Science, pages 607-624, Springer, 2016. [doi]

Abstract is missing.

The following is a more recent and up-to-date version of this publication:

An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching BisimulationJan Friso Groote, David N. Jansen, Jeroen J. A. Keiren, Anton Wijs. tocl, 18(2), 2017. [doi]

runs on WebDSL