Refinement and consistency of timed modal specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5457, Issue , 2009, Pages 152-163

  Bertrand, Nathalie ^a   Pinchinat, Sophie ^b   Raclet, Jean Baptiste ^c  

^a INRIA   (France)

^b UNIVERSITÉ DE RENNES 1   (France)

^c INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAINS; COMPONENT-BASED SYSTEM DESIGN; COMPOSITIONAL REASONING; STEPPING STONE; TIMED SYSTEMS;

COMPUTABILITY AND DECIDABILITY; LINGUISTICS; ROBOTS; SPECIFICATIONS; TIME SHARING SYSTEMS; TRANSLATION (LANGUAGES);

AUTOMATA THEORY;

EID: 67649995884     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00982-2_13     Document Type: Conference Paper

References (10)

1. Raclet, J.B.: Residual for component specifications. In: Proceedings of FACS 2007 (2007)
2. Raclet, J.B.: Quotient de spécifications pour la réutilisation de composants. PhD thesis, Université de Rennes I (December 2007) (in French)
3. Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) Automatic Verification Methods for Finite State Systems. LNCS, Vol. 407, pp. 232-246. Springer, Heidelberg (1990)
4. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of FSE 2001, pp. 109-120 (2001)
5. Larsen, K.G., Nyman, U., Wasowski, A.: Modal I/O automata for interface and product line theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, Vol. 4421, pp. 64-79. Springer, Heidelberg (2007) (Pubitemid 350259484)
6. Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: de Alfaro, L., Palsberg, J. (eds.) EMSOFT 2008, pp. 79-88. ACM Press, New York (2008)
7. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183-235 (1994)
8. Larsen, K.G., Nyman, U., Wasowski, A.: On modal refinement and consistency. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, Vol. 4703, pp. 105-119. Springer, Heidelberg (2007)
9. de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed interfaces. In: Sangiovanni- Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, Vol. 2491, pp. 108-122. Springer, Heidelberg (2002)
10. Čerans, K., Godskesen, J.C., Larsen, K.G.: Timed modal specification - theory and tools. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, Vol. 697, pp. 253-267. Springer, Heidelberg (1993)