通信协议的设计

在[5],[6]中,我们陈述了一个用于分布式程序设计的语言原型,这个原型是基于Hoare所提出的通信顺序进程的;并且建议用通道谓词作为分布式程序的功能描述;在发展这个语言的公理语义的同时,也给出了证明程序特性的一种形式途径。本文中,我们将使用上述工具讨论通信协议的结构式设计。本文原拟名为“通信协议的部分正确性”。

伊犁师范大学数学与统计学院承办“第九届可信软件工程中的逻辑方法研讨会”

2019年8月10日至11日,由中国计算机协会形式化方法专委会主办,伊犁师范大学数学与统计学院承办的“第九届可信软件工程中的逻辑方法研讨会”在新疆伊宁市温州国际大酒店成功举行。研讨会主席中国科学院周巢尘院士出席本次大会并发表讲话,他对与会专家提出要认真做好技术报告。