I/O efficient bisimulation partitioning on very large directed acyclic graphs

Jelle Hellings, George H. L. Fletcher, Herman Haverkort

In this paper we introduce the first efficient external-memory algorithm to compute the bisimilarity equivalence classes of a directed acyclic graph (DAG). DAGs are commonly used t…