×

兹马思-数学第一资源

计算同步和异步。(英语) Zbl 0512.68026

理学硕士:
68N25 操作系统理论
68问65 抽象数据类型;代数规范
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Cardelli,L.,实时代理,(),94-106
[2] 霍尔,C。;布鲁克斯,S。;Roscoe,W.,《通信顺序过程的理论》(1981),牛津大学程序设计研究小组·Zbl 0628.68025
[3] Hennessy,M.,同步过程的术语模型,()·Zbl 0503.68022
[4] Hoare,C.,一个用于通信顺序过程的模型,()·Zbl 0841.68042
[5] 轩尼诗,M。;Plotkin,G.,CCS术语模型,()·Zbl 0479.68011
[6] 兰波特,L.,“有时”有时“不是永远”,Proc。第七届ACM编程语言原理研讨会(1980年)
[7] 米尔纳,R.,过程;计算机智能体的数学模型,(),157-174
[8] (米尔纳系统微积分)·Zbl 0452.68027
[9] 米尔纳,R.,关于同步和异步的关系,()
[10] 米尔纳,R.,一类规则行为的完全推理系统,()·Zbl 0562.68065
[11] 米尔纳,R.,《四个并发组合子》,Proc。ACM SIGACT-SIGOPS分布式计算原理研讨会,104-110,(1982年8月),渥太华
[12] 《同步行为代数:交互系统的模型》(1979),南加州大学计算机科学系
[13] 米尔恩,G。;米尔纳,R.,《并发过程及其语法》,J.ACM,26,2,302-321,(1979)·Zbl 0395.68030
[14] 尼尔森,M。;普洛金,G。;温斯克尔,G.,Petri网,事件结构和域,理论。计算机。sci.,13,1,85-108,(1981),第一部分·Zbl 0452.68067
[15] Park,D.,无限序列上的并发与自动机,()·Zbl 0457.68049
[16] Plotkin,G.,操作语义学的结构化方法,()
[17] 《并发程序的时间语义》,理论网。计算机。科学,13,1,45-60,(1981)·Zbl 0441.68010
[18] Sanderson,M.,即将获得博士学位。论文(1982),爱丁堡大学计算机科学系
[19] 《CCS及相关语言的事件结构语义学》,第561-576页
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。