主 题: 形式化方法与协调语言
报告人: 李屹博士，研究方向为软件理论和形式化方法 (tyc234cc 太阳成集团)
时 间: 2016-11-25 12：00-13：15
地 点: 理科一号楼 1114
在形式化方法中，协调语言(Coordination Language)是并发协议验证方面的重要工具。本组的工作主要集中于协调语言Reo的扩展，语义及验证。Reo是一种基于频道（Channel）的协调语言，它由Farhad Arbab提出，建模了并行程序设计中的信息传递(Message Passing)过程。我们组近年来的工作主要集中于该语言的语义扩展与验证。本次报告我将简要介绍Reo的语义及我最近的工作，包括：Reo的概率时间扩展，Reo在Coq中的建模及证明。 报名方式：请有意参加的老师在2016年11月24日（周四）晚10点前发送邮件至smsxueshu@126.com,我们将回复邮件和您确认,邮件报名方式仅限于老师，有意参加的同学请点击报名链接https://sojump.com/jq/10782629.aspx ，谢谢！
