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...

Full description

Bibliographic Details
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