The Complexity of Bisimulation and Simulation on Finite Systems

Moses Ganardi, Stefan Göller, Markus Lohrey. The Complexity of Bisimulation and Simulation on Finite Systems. Logical Methods in Computer Science, 14(4), 2018. [doi]

Abstract

Abstract is missing.