J.A.伯格斯特拉。；J.V.塔克。 自顶向下设计和通信过程代数。 （英语） Zbl 0606.68021号 科学。计算。程序。 5, 171-199 (1985). 我们发展了一种用于通信系统自顶向下设计的代数理论，其中抽象层由代数表示，其逐步细化由同态表示。特别注意这些抽象层次的等式规范。为了便于说明，文中包括了一些示例，其中最引人注目的是通信协议的自顶向下设计。 引用于8文件 MSC公司： 68N25号 操作系统理论 关键词：通信系统自顶向下设计的代数理论；逐步细化；等式规范；通信协议 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker}，科学。计算。程序。5171-199（1985；Zbl 0606.68021） 全文： DOI程序 链接