A Characterization of Finitary Bisimulation

Luca Aceto, Anna Ingólfsdóttir. A Characterization of Finitary Bisimulation. Inf. Process. Lett., 64(3):127-134, 1997. [doi]

Abstract

Abstract is missing.