Title: Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozesskalkülen mit dichtem Zeitbereich