HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Asynchonous Distributed Components: Concurrency and Determinacy

Denis Caromel 1 Ludovic Henrio 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

Contributor : Ludovic Henrio Connect in order to contact the contributor
Submitted on : Friday, January 5, 2007 - 4:20:35 PM
Last modification on : Friday, February 4, 2022 - 3:18:23 AM
Long-term archiving on: : Tuesday, April 6, 2010 - 9:45:21 PM


Files produced by the author(s)


  • HAL Id : inria-00122924, version 1



Denis Caromel, Ludovic Henrio. Asynchonous Distributed Components: Concurrency and Determinacy. Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile. ⟨inria-00122924⟩



Record views


Files downloads