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 : lundi 12 novembre 2018 - 11:03:01
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

204

Téléchargements de fichiers

169