05538841

a

05538841 Bertrand, Nathalie Pinchinat, Sophie Raclet, Jean-Baptiste Refinement and consistency of timed modal specifications. Dediu, Adrian Horia (ed.) et al., Language and automata theory and applications. Third international conference, LATA 2009, Tarragona, Spain, April 2--8, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00981-5/pbk). Lecture Notes in Computer Science 5457, 152-163 (2009). 2009 Berlin: Springer EN

doi:10.1007/978-3-642-00982-2_13

Summary: In the application domain of component-based system design, developing theories which support compositional reasoning is notoriously challenging. We define timed modal specifications, an automata-based formalism combining modal and timed aspects. As a stepping stone to compositional approaches of timed systems, we define the notions of refinement and consistency, and establish their decidability.