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 , COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués, Inria de Paris
Résumé : 本文为分布式语言提出一个表达能力较强的模型-同步自动机的参数化网络。 通过定义开放式自动机给出了此模型的行为语义, 并在此基础上给出了一种特殊的等价关系--规范假设互模拟等价。 我们讨论了这种等价关系在规范假设条件下的可复合性和可判定性。
Type de document :
Article dans une revue
Science China Information Sciences, 2016, Special Focus on Advanced Technology of Software, 59 (5), pp.3. <10.1007/s11432-016-5557-1>
Liste complète des métadonnées

https://hal.inria.fr/hal-01417652
Contributeur : Eric Madelaine <>
Soumis le : vendredi 16 décembre 2016 - 16:15:37
Dernière modification le : samedi 17 décembre 2016 - 01:04:32
Document(s) archivé(s) le : lundi 20 mars 2017 - 19:33:38

Fichier

ScienceChina-PNets.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

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>

Partager

Métriques

Consultations de
la notice

137

Téléchargements du document

40