Published 2006
| Version v1
Conference paper
Asynchonous Distributed Components: Concurrency and Determinacy
- Creators
- Caromel, Denis
- Henrio, Ludovic
Description
Based on the imp sigma-calculus, ASP (Asynchronous Sequential Processes) defines distributed applications behaving deterministically. This article extends ASP by building hierarchical and asynchronous distributed components. Components are hierarchical - a composite can be built from other components, and distributed - a composite can span over several machines. This article also shows how the asynchronous component model can be used to statically assert component determinism.
Abstract
19th IFIP World Computer Congress
Additional details
- URL
- https://hal.inria.fr/inria-00122924
- URN
- urn:oai:HAL:inria-00122924v1
- Origin repository
- UNICA