Bisimulation on speed: A unified approach

Gerald Lüttgen, Walter Vogler. Bisimulation on speed: A unified approach. Theoretical Computer Science, 360(1-3):209-227, 2006. [doi]

Abstract

Abstract is missing.