何继峰 过程模拟和细化。 (英语) Zbl 0696.68099号 形式方面计算。 1,第3期,229-241(1989). 引用于12文件 MSC公司: 68岁20岁 模拟(MSC2010) 68N25号 操作系统理论 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:程序推导;程序验证;工艺改进;向上模拟;向下模拟 PDF格式BibTeX公司 XML格式引用 \textit{H.Jifeng},正式Asp。计算。1,第3号,229--241(1989;Zbl 0696.68099) 全文: 内政部 参考文献: [1] Brookes,S.D.,Hoare,C.A.R.和Roscoe,A.W.:通信顺序过程理论。J.ACM,31(3),560-599(1984)·Zbl 0628.68025号 ·doi:10.1145/828.833 [2] Brookes,S.D.和Roscoe,A.W.,《沟通过程的改进失效模型》。《计算机科学讲义》197,斯普林格·弗拉格出版社,1985年·Zbl 0565.68023号 [3] Herrlich,H.和Strecker,G.E.:范畴理论。Allyn和Bacon,1973年·Zbl 0265.18001号 [4] Hoare,C.A.R.:通信顺序过程。Prentice-Hall国际计算机科学系列,1985年。 [5] Hoare,C.A.R.和He,J.:最脆弱的预规范。通知。过程。莱特。24(2), 127–132 (1987). ·Zbl 0622.68025号 ·doi:10.1016/0020-0190(87)90106-2 [6] Milner,R.:沟通系统的微积分。计算机科学课堂讲稿92。斯普林格·弗拉格,1980年·兹比尔0452.68027 [7] Park,D.:无限序列上的并发与自动机。计算机科学课堂讲稿104,第167-183页。斯普林格·弗拉格1981年·Zbl 0457.68049号 [8] Roscoe,A.W.:CSP的最新发展。牛津大学技术专著PRG-671988。 [9] 施密特,J.:Beitrage zue Filtertheorie.II。数学Nachr。,10, 197–232 (1953). ·Zbl 0053.02905号 ·doi:10.1002/mana.19530100309 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。