The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark-Reference-Cited by-同舟云学术

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

Published:2017-03-15 Issue: Volume:244 Page:230-270
ISSN:2075-2180
Container-title:Electronic Proceedings in Theoretical Computer Science
language:en
Short-container-title:Electron. Proc. Theor. Comput. Sci.

Author:

Garavel Hubert,Serwe Wendelin

Publisher

Open Publishing Association

Reference58 articles.

1. SIGNAL;Amagbégnon,1995

2. Specifying Concurrent Controller of Production Cell Using the Notation of Shared State and Events of Duration Calculus;Aminuddin;Malaysian Journal of Computer Science,2001

3. The Esterel Synchronous Programming Language: Design, Semantics, Implementation;Berry;Science of Computer Programming,1992

4. Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata;Beyer,1998

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model;Journal of Intelligent & Robotic Systems;2023-04

2. Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles;2022 Design, Automation & Test in Europe Conference & Exhibition (DATE);2022-03-14

3. Is CADP an Applicable Formal Method?;Electronic Proceedings in Theoretical Computer Science;2021-11-16

4. Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks;Electronic Proceedings in Theoretical Computer Science;2020-04-26

5. Modeling the Raft Distributed Consensus Protocol in LNT;Electronic Proceedings in Theoretical Computer Science;2020-04-26