Modes in Asynchronous Systems

Abstract : In this paper we study the mode concept in asynchronous systems. First, we propose an abstract TLA+ specification. Then, we discuss how the mode concepts proposed by the two architecture languages: Giotto and AADL could be related to this abstraction.
Type de document :
Communication dans un congrès
13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, 2008, 〈10.1109/ICECCS.2008.28〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00784986
Contributeur : David Chemouil <>
Soumis le : mardi 5 février 2013 - 09:49:08
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02

Identifiants

Collections

Citation

Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Dave Thomas. Modes in Asynchronous Systems. 13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, 2008, 〈10.1109/ICECCS.2008.28〉. 〈hal-00784986〉

Partager

Métriques

Consultations de la notice

142