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

https://hal.archives-ouvertes.fr/hal-00784986
Contributor : David Chemouil <>
Submitted on : Tuesday, February 5, 2013 - 9:49:08 AM
Last modification on : Friday, October 11, 2019 - 8:22:48 PM

Identifiers

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

Share

Metrics

Record views

169