Towards a bisimulation theory for open synchronized networks of automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Science in China Series F: Information Sciences Année : 2016

Towards a bisimulation theory for open synchronized networks of automata

开放式自动机同步网络的互模拟理论

Résumé

本文为分布式语言提出一个表达能力较强的模型-同步自动机的参数化网络。 通过定义开放式自动机给出了此模型的行为语义, 并在此基础上给出了一种特殊的等价关系--规范假设互模拟等价。 我们讨论了这种等价关系在规范假设条件下的可复合性和可判定性。
Fichier principal
Vignette du fichier
ScienceChina-PNets.pdf (358.03 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-01417652 , version 1 (16-12-2016)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More