Über abstrakte Charakterisierungen von Bisimulation

Markus Roggenbach. Über abstrakte Charakterisierungen von Bisimulation. PhD thesis, University of Mannheim, Germany, 1998. [doi]

Abstract

Abstract is missing.