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
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Résumé : 本文为分布式语言提出一个表达能力较强的模型-同步自动机的参数化网络。 通过定义开放式自动机给出了此模型的行为语义, 并在此基础上给出了一种特殊的等价关系--规范假设互模拟等价。 我们讨论了这种等价关系在规范假设条件下的可复合性和可判定性。
Document type :
Journal articles
Complete list of metadatas

https://hal.inria.fr/hal-01417652
Contributor : Eric Madelaine <>
Submitted on : Friday, December 16, 2016 - 4:15:37 PM
Last modification on : Monday, November 5, 2018 - 3:36:03 PM
Long-term archiving on : Monday, March 20, 2017 - 7:33:38 PM

File

ScienceChina-PNets.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

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

Share

Metrics

Record views

475

Files downloads

138