@inproceedings{2b167ae1273745529d9472249067f2bb,
title = "CTR: A calculus of timed refinement",
abstract = "This paper presents CTR - a process algebraic framework for loose specification of time quantity sensitive operational behaviour of reactive systems. CTR terms are provided both with operational and specification semantics (via the notion of specification refinement). Besides the intuitive justification of appropriateness of the refinement notion, a preservation theorem is proved for a timed variant of Henneesy-Milner logic. A comparison of CTR with the related formalism of Timed Modal Specifications, and with the timed process calculi TCCS due to Wang is given. Some pragmatics of the application of CTR is sketched on a critical resource access example.",
author = "K. {\v C}erĀns",
note = "Publisher Copyright: {\textcopyright} 1995, Springer Verlag. All rights reserved.; 6th International Conference on Concurrency Theory, CONCUR 1995 ; Conference date: 21-08-1995 Through 24-08-1995",
year = "1995",
doi = "10.1007/3-540-60218-6\_39",
language = "English",
isbn = "3540602186",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "516--530",
editor = "Insup Lee and Smolka, \{Scott A.\}",
booktitle = "CONCUR 1995",
address = "Germany",
}