×

过程模拟和细化。 (英语) Zbl 0696.68099号


MSC公司:

68岁20岁 模拟(MSC2010)
68N25号 操作系统理论
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。