Towards a bisimulation theory for open synchronized networks of automata - Archive ouverte HAL Access content directly
Journal Articles Science in China Series F: Information Sciences Year : 2016

Towards a bisimulation theory for open synchronized networks of automata

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

(1) , (2)
1
2

Abstract

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

Dates and versions

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

Identifiers

Cite

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⟩
151 View
103 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More