J.A.伯格斯特拉。;我·贝斯克。 有限状态服务的等式规范的上限。 （英文） Zbl 1182.68054号 信息处理。莱特。 94，第6267-269号（2005年）. MSC公司： 68第05页 数据结构 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：客户端-服务器组合;数据结构;有界性;规范语言 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{I.Bethke}，Inf.过程。莱特。94，第6号，267--269（2005；Zbl 1182.68054） 全文： DOI程序 参考文献： [1] Bergstra，J.A。；Klop，J.W.，同步通信的进程代数，Inform。和控制，60，1-3，109-137（1984）·Zbl 0597.68027号 [2] Bergstra，J.A。；茅，S。；Wiedijk，F.，有限等式集的统一代数规范，国际。J.发现。计算。科学。，2, 1, 43-65 (1991) ·Zbl 0739.68066号 [3] Bergstra，J.A。；Meyer，J.-J.C.H.，仅使用一元隐藏函数的有限最小非oid的方程规范，Fund。通知。，2, 143-170 (1982) ·Zbl 0548.68016号 [4] W.van der Hoek（编辑）Liber Amicorum，ter gelegenheid van de 50e verjaardag van John-Jules Charles Meyer，2004年；W.van der Hoek（编辑）Liber Amicorum，ter gelegenheid van de 50e verjaardag van John-Jules Charles Meyer，2004年 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。