Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [53 references]  Display  Hide  Download

https://hal.inria.fr/hal-01511847
Contributor : Hubert Garavel <>
Submitted on : Friday, April 21, 2017 - 4:37:50 PM
Last modification on : Tuesday, February 9, 2021 - 3:10:03 PM
Long-term archiving on: : Saturday, July 22, 2017 - 1:51:03 PM

File

Garavel-Serwe-17.pdf
Publisher files allowed on an open archive

Identifiers

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. pp.230 - 270, ⟨10.4204/EPTCS.244.10⟩. ⟨hal-01511847⟩

Share

Metrics

Record views

637

Files downloads

494