A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours

Luca Aceto, A. S. A. Jeffrey

Publikation: Bog/antologi/afhandling/rapportBogForskning

OriginalsprogEngelsk
UdgivelsesstedÅrhus : Daimi
ForlagDepartment of Computer Science, Aarhus University
Antal sider18
StatusUdgivet - 1994
NavnBRICS Report Series
NummerRS-94-43
ISSN0909-0878

Citationsformater