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 <>
Submitted on : Friday, January 5, 2007 - 4:20:35 PM
Last modification on : Monday, October 12, 2020 - 10:30:21 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