Modes in Asynchronous Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

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.
Fichier principal
Vignette du fichier
Modes in Asynchronous Systems.pdf (188.67 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive

Dates and versions

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

Identifiers

Cite

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⟩
139 View
58 Download

Altmetric

Share

Gmail Facebook X LinkedIn More