Bisimulation on speed: worst-case efficiency

Gerald Lüttgen, Walter Vogler. Bisimulation on speed: worst-case efficiency. Inf. Comput., 191(2):105-144, 2004. [doi]

Abstract

Abstract is missing.