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
-
Concurrency control for multiprocessor event-driven systems
by: Zeldovich, Nickolai, 1981-
Published: (2014) -
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
by: Zinovy Diskin, et al.
Published: (2012-08-01) -
Equilibria of concurrent games on event structures
by: Gutierrez, J, et al.
Published: (2014) -
Concurrency Action in Construct Composition Form & Meaning
by: Ibrahim J.K. Al-Yousif
Published: (2012-04-01) -
An Algebraic Approach for Action Based Default Reasoning
by: Pablo F. Castro, et al.
Published: (2019-07-01)