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

Luca Aceto, A. S. A. Jeffrey

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Theoretical Computer Science
Vol/bind	152
Sider (fra-til)	251-268
ISSN	0304-3975
Status	Udgivet - 1995

AUB Link

@article{a1353a90001e11dab4d5000ea68e967b,

title = "A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours",

author = "Luca Aceto and Jeffrey, {A. S. A.}",

year = "1995",

language = "English",

volume = "152",

pages = "251--268",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

}