程序设计语言

出 版 物：《电子科技文摘》 (Sci.& Tech.Abstract)

年 卷 期：1999年第6期

页      码：137-137页

摘      要：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++语言实现了三种不同的协议,讨论了协议的实现和性能。

主 题 词：程序设计语言 系统描述语言 协议验证 简单网络管理协议 有效性 语言实现 高效 电子学系统 介绍 性能 

学科分类：0809[工学-计算机类] 08[工学] 

馆 藏 号：203536331...