Skip to Main content Skip to Navigation
Journal articles

Towards a bisimulation theory for open synchronized networks of automata

Eric Madelaine 1 Min Zhang 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
Inria de Paris, CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : 本文为分布式语言提出一个表达能力较强的模型-同步自动机的参数化网络。 通过定义开放式自动机给出了此模型的行为语义, 并在此基础上给出了一种特殊的等价关系--规范假设互模拟等价。 我们讨论了这种等价关系在规范假设条件下的可复合性和可判定性。
Document type :
Journal articles
Complete list of metadata
Contributor : Eric Madelaine Connect in order to contact the contributor
Submitted on : Friday, December 16, 2016 - 4:15:37 PM
Last modification on : Tuesday, January 11, 2022 - 11:16:06 AM
Long-term archiving on: : Monday, March 20, 2017 - 7:33:38 PM


Publisher files allowed on an open archive




Eric Madelaine, Min Zhang. Towards a bisimulation theory for open synchronized networks of automata. Science in China Series F: Information Sciences, Springer Verlag, 2016, Special Focus on Advanced Technology of Software, 59 (5), pp.3. ⟨10.1007/s11432-016-5557-1⟩. ⟨hal-01417652⟩



Les métriques sont temporairement indisponibles