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

Luca Aceto, A. S. A. Jeffrey

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

12 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftTheoretical Computer Science
Vol/bind152
Sider (fra-til)251-268
ISSN0304-3975
StatusUdgivet - 1995

Citationsformater