Modes in Asynchronous Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Modes in Asynchronous Systems

Résumé

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.
Fichier principal
Vignette du fichier
Modes in Asynchronous Systems.pdf (188.67 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-00784986 , version 1 (15-12-2022)

Identifiants

Citer

Jean-François Rolland, Jean-Paul Bodeveix, M Filali, David Chemouil, Dave Thomas. Modes in Asynchronous Systems. 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Mar 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩. ⟨hal-00784986⟩
143 Consultations
75 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More