Towards a bisimulation theory for open synchronized networks of automata - Inria - Institut national de recherche en sciences et technologies du numérique
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é

本文为分布式语言提出一个表达能力较强的模型-同步自动机的参数化网络。 通过定义开放式自动机给出了此模型的行为语义, 并在此基础上给出了一种特殊的等价关系--规范假设互模拟等价。 我们讨论了这种等价关系在规范假设条件下的可复合性和可判定性。

Domaines

Informatique [cs]
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

Eric Madelaine  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01417652

Soumis le : vendredi 16 décembre 2016-16:15:37

Dernière modification le : mercredi 16 octobre 2024-14:42:09

Archivage à long terme le : lundi 20 mars 2017-19:33:38

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA I3S INRIA2 UNIV-COTEDAZUR
189 Consultations
118 Téléchargements

Altmetric

Partager

More