id: 06109495
dt: a
an: 06109495
au: Chilton, Chris; Kwiatkowska, Marta; Wang, Xu
ti: Revisiting timed specification theories: a linear-time perspective.
so: Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed
    systems. 10th international conference, FORMATS 2012, London, UK,
    September 18-20, 2012. Proceedings. Berlin: Springer (ISBN
    978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 75-90
    (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-33365-1_7
ab: Summary: We consider the setting of component-based design for real-time
    systems with critical timing constraints. Based on our earlier work, we
    propose a compositional specification theory for timed automata with
    I/O distinction, which supports substitutive refinement. Our theory
    provides the operations of parallel composition for composing
    components at run-time, logical conjunction/disjunction for independent
    development, and quotient for incremental synthesis. The key novelty of
    our timed theory lies in a weakest congruence preserving safety as well
    as bounded liveness properties. We show that the congruence can be
    characterised by two linear-time semantics, timed-traces and
    timed-strategies, the latter of which is derived from a game-based
    interpretation of timed interaction.
rv: