Verified Software Laboratory, Department of Computer and Information Sciences University of Delaware, Newark, DE 19716, USA;
School of Computing, University of Utah, Salt Lake City, UT 84112, USA;
机译:循环连接消息传递通信协议中基于最弱前提的形式系统
机译:循环连接消息传递通信协议中基于最弱前提的形式系统
机译:迈向基于形式的消息传递程序设计
机译:对消息传递的正式分析(邀请谈话)
机译:消息传递应用程序的预测分析
机译:妇女在进化生物学专题讨论会上的受邀演讲减少
机译:通过形式化分析获得可靠,高效的消息传递软件