题     目：Towards a Bisimulation Theory for Open Synchronized Networks of Automata

报告人： Eric Madelaine 研究员（INRIA/I3S, Sophia-Antipolis, France）

时   间：2015年11月4日12:45-13:45

地  点：理科大楼B座1002会议室

主持人：张敏 副教授

报告人简介：

Eric Madelaine is a senior researcher at INRIA in Sophia-Antipolis, France.
He has a diploma from Ecole Polytechnique, Paris, a PhD thesis from University of Paris 7, and an Habilitation from University of Nice. His research interests range from semantics of programming languages, distributed and cloud computing, component-based software, formal methods, methods and tools for specification and verification of complex programs. He has served in many international conferences committees, including: Euromicro, FESCA, SEAA, FMCO, and FACS. He has been collaborating for several years now with the Software Engineering Institute at E.C.N.U. on formal techniques and theoretical models for distributed systems.

报告内容简介：

Open parameterized Networks of synchronized automata (pNets) are new semantic objects that we propose for defining the semantics of simple or complex composition operators for distributed languages. Open pNets have an operational semantics, using open transitions that include symbolic hypotheses on the behavior of the pNets ``holes''. We discuss when this semantics can be finite and sketch an algorithm to compute it symbolically. We define bisimulation equivalences between open pNets, and we explore under which hypotheses that these equivalences are compatible with composition and decidable.