Divide and Congruence Applied to ::::eta::::-Bisimulation

Wan Fokkink, Rob J. van Glabbeek, Paulien de Wind. Divide and Congruence Applied to ::::eta::::-Bisimulation. Electronic Notes in Theoretical Computer Science, 156(1):97-113, 2006. [doi]

Abstract

Abstract is missing.