6533b7d3fe1ef96bd12608a3

RESEARCH PRODUCT

CTR: A calculus of timed refinement

Karlis Cerans

subject

Formalism (philosophy of mathematics)ComputingMethodologies_PATTERNRECOGNITIONModalComputer scienceProgramming languageProcess calculusCalculusMutual exclusionAlgebraic numberPragmaticscomputer.software_genreReactive systemcomputer

description

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 Hennessy-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.

yearjournalcountryeditionlanguage
1995-01-01
https://doi.org/10.1007/3-540-60218-6_39