Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadatas
Contributor : David Chemouil <>
Submitted on : Tuesday, February 5, 2013 - 9:49:08 AM
Last modification on : Tuesday, January 5, 2021 - 2:22:03 PM



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, ⟨10.1109/ICECCS.2008.28⟩. ⟨hal-00784986⟩



Record views