Actions and Events in Concurrent Systems Design
In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and events are made explicit in the description of a component and a...
Main Authors: | Valentin Cassano, Thomas S. E. Maibaum |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2014-01-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1401.0970v1 |
Similar Items
-
Automated Reasoning over Deontic Action Logics with Finite Vocabularies
by: Pablo F. Castro, et al.
Published: (2014-01-01) -
Concurrency control for multiprocessor event-driven systems
by: Zeldovich, Nickolai, 1981-
Published: (2014) -
Testing concurrent systems through event structures
by: Ponce de León, Hernan
Published: (2014) -
Concurrency Models with Causality and Events as Psi-calculi
by: Håkon Normann, et al.
Published: (2014-10-01) -
Generation of Concurrency Controls using Discrete-Event Systems
by: Dragert, Christopher
Published: (2008)