Asynchonous Distributed Components: Concurrency and Determinacy

Denis Caromel (1) , Ludovic Henrio (1)

1 OASIS - Active objects, semantics, Internet and security

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.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

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