程序设计语言

Y98-61364-455 9908374构筑正确高效协议的一种语言 Promela++=Promela++:a language for constructing correct and efficientprotocols[会,英]/Basu,A.& Morrisett,G.//1998IEEE INFOCOM,Vol.2.—455～462(MaG)本文介绍了基于 Promela 协议验证语言的,用于构筑正确高效协议的语言 Promela++。首先简要介绍了 Promela 语言,之后讨论了 Promela++的设计,Promela++到 C 语言的汇编。为了评估 Promela++的有效性,以 Promela++语言实现了三种不同的协议,讨论了协议的实现和性能。