11月4日:Eric Madelaine(可信计算论坛)
发布时间:2015-11-03 浏览量:5519

     目: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.

以诚为本赢在信誉9001cc
学院地址:上海中山北路3663号理科大楼

                上海市浦东新区楠木路111号
院长信箱:yuanzhang@sei.ecnu.edu.cn | 办公邮箱:office@sei.ecnu.edu.cn | 院办电话:021-62232550
Copyright 以诚为本赢在信誉9001cc(中国)有限公司