Algebre de processus et synchronisation

Résumé : Nous introduisons ici un calcul de processus fondé sur une composition parallèle asynchrone, et quelques primitives de synchronisation. Nous montrons qu'on peut y formuler de nombreux mécanismes de synchronisation ; en particulier il s'avère équivalent au calcul synchrone de R. Milner. Nous évaluons sa puissance d'expression en termes de langages de comportements.
Type de document :
Rapport
[Rapport de recherche] RR-0187, INRIA. 1983
Liste complète des métadonnées

https://hal.inria.fr/inria-00076371
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 20:44:10
Dernière modification le : mardi 27 mars 2018 - 16:06:18
Document(s) archivé(s) le : vendredi 13 mai 2011 - 20:02:39

Fichiers

Identifiants

  • HAL Id : inria-00076371, version 1

Collections

Citation

Didier Austry, Gérard Boudol. Algebre de processus et synchronisation. [Rapport de recherche] RR-0187, INRIA. 1983. 〈inria-00076371〉

Partager

Métriques

Consultations de la notice

187

Téléchargements de fichiers

153