The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark

Hubert Garavel 1 Wendelin Serwe 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : The multiway rendezvous introduced in Theoretical CSP is a powerful paradigm to achieve synchronization and communication among a group of (possibly more than two) processes. We illustrate the advantages of this paradigm on the production cell benchmark, a model of a real metal processing plant, for which we propose a compositional software controller, which is written in LNT and LOTOS, and makes intensive use of the multiway rendezvous.
Type de document :
Communication dans un congrès
2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. 244, pp.230 - 270, 2017, 〈http://mars-workshop.org/mars2017/〉. 〈10.4204/EPTCS.244.10〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01511847
Contributeur : Hubert Garavel <>
Soumis le : vendredi 21 avril 2017 - 16:37:50
Dernière modification le : jeudi 11 janvier 2018 - 06:23:43
Document(s) archivé(s) le : samedi 22 juillet 2017 - 13:51:03

Fichier

Garavel-Serwe-17.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Hubert Garavel, Wendelin Serwe. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark. 2nd Workshop on Models for Formal Analysis of Real Systems, Apr 2017, Uppsala, Sweden. 244, pp.230 - 270, 2017, 〈http://mars-workshop.org/mars2017/〉. 〈10.4204/EPTCS.244.10〉. 〈hal-01511847〉

Partager

Métriques

Consultations de la notice

243

Téléchargements de fichiers

50