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 , 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.
Type de document :
Communication dans un congrès
Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile, Springer Science, 2006
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00122924
Contributeur : Ludovic Henrio <>
Soumis le : vendredi 5 janvier 2007 - 16:20:35
Dernière modification le : mardi 12 juin 2018 - 10:04:09
Document(s) archivé(s) le : mardi 6 avril 2010 - 21:45:21

Fichier

tcs06Henrio.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00122924, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

212

Téléchargements de fichiers

120