Towards a bisimulation theory for open synchronized networks of automata

Eric Madelaine; Min Zhang

doi:10.1007/s11432-016-5557-1

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

Eric Madelaine

Function : Author
PersonId : 16780
IdHAL : eric-madelaine
ORCID : 0000-0002-5552-5993
IdRef : 087543958

Models and methods of analysis and optimization for systems with real-time and embedding constraints

Min Zhang

Function : Author

East China Normal University [Shangaï]

Abstract

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

Domains

Computer Science [cs]

Fichier principal

ScienceChina-PNets.pdf (358.03 Ko)

Origin : Publisher files allowed on an open archive

Eric Madelaine : Connect in order to contact the contributor

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

Submitted on : Friday, December 16, 2016-4:15:37 PM

Last modification on : Friday, March 24, 2023-2:53:03 PM

Long-term archiving on: Monday, March 20, 2017-7:33:38 PM

Dates and versions

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

Identifiers

HAL Id : hal-01417652 , version 1
DOI : 10.1007/s11432-016-5557-1

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA I3S INRIA2 UNIV-COTEDAZUR

166 View

105 Download

Towards a bisimulation theory for open synchronized networks of automata

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

Abstract

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share