An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

From MaRDI portal
Publication:5278211

DOI10.1145/3060140zbMath1367.68211OpenAlexW2663462053MaRDI QIDQ5278211

Jan Friso Groote, Jeroen J. A. Keiren, David N. Jansen, Anton Wijs

Publication date: 13 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3060140



Related Items


Uses Software


Cites Work