×
J.A.伯格斯特拉。;我·贝斯克。

具有反应合成的极化过程代数。 （英语） Zbl 1077.68057号

西奥。计算。科学。 343，第3期，285-304（2005）.
摘要：引入极化过程来模拟系统的非对称相互作用。这种不对称源于服务和请求之间的区别。两个极化进程的计划并发合成称为客户端-服务器合成或反应合成，将一个进程置于客户端角色，另一个进程则置于服务器角色，服务器应该对请求作出反应。本文的技术目标是为极化过程提供一个反应组分的定义，并证明由此定义的反应组分是关联的。

引用于三文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等）

关键词：

客户端-服务器组合;极化过程;程序代数
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Bergstra}和\textit{I.Bethke}，Theor。计算。科学。343，第3号，285--304（2005；Zbl 1077.68057）
全文： 内政部

参考文献：

[1] 巴尔，H.E。；斯坦纳，J.G。；Tanenbaum，A.S.，《分布式计算系统的编程语言》，ACM Compute。调查，21，3，261-322（1989）
[2] J.A.Bergstra，I.Bethke，《极化过程代数与程序等价》，收录于：J.C.M.Baeten，J.K.Lenstra，J.Parrow，G.J.Woeginger（编辑），《自动化、语言与编程》，第30届国际会议。Colloq.，ICALP 2003，荷兰埃因霍温，6月30日-7月4日，计算机科学讲稿，第2719卷，施普林格，柏林，2003年，第1-21页。；J.A.Bergstra，I.Bethke，《极化过程代数与程序等价》，收录于：J.C.M.Baeten，J.K.Lenstra，J.Parrow，G.J.Woeginger（编辑），《自动化、语言与编程》，第30届国际会议。Colloq.，ICALP 2003，荷兰埃因霍温，6月30日-7月4日，计算机科学讲稿，第2719卷，柏林斯普林格，2003年，第1-21页·Zbl 1039.68040号
[3] Bergstra，J.A.（伯格斯特拉，J.A.）。；Klop，J.-W.，同步通信的进程代数，Inform。和控制，60，1/3，109-137（1984）·Zbl 0597.68027号
[4] Bergstra，J.A.（伯格斯特拉，J.A.）。；Klop，J.-W.，抽象交流过程代数，定理。计算。科学。，37, 1, 77-121 (1985) ·Zbl 0579.68016号
[5] Bergstra，J.A.（伯格斯特拉，J.A.）。；Loots，M.E.，序列码的程序代数，J.逻辑代数编程，51，2，125-156（2002）·Zbl 1008.68079号
[6] J.A.Bergstra，C.A.Middelburg，《战略交织的线程代数》，CS-Report 04-35，埃因霍温理工大学数学与计算机科学系，2004年11月。；J.A.Bergstra，C.A.Middelburg，《战略交织的线程代数》，CS-Report 04-35，埃因霍温理工大学数学与计算机科学系，2004年11月·Zbl 1131.68067号
[7] Berry，G。；Boudol，G.，《化学抽象机》，理论。计算。科学。，96, 217-248 (1992) ·Zbl 0747.68013号
[8] 布鲁克斯，S.D。；霍尔，C.A.R。；Roscoe，A.W.，《通信顺序过程理论》，J.ACM，31，8，560-599（1984）·Zbl 0628.68025号
[9] de Bakker，J.W。；Zucker，J.I.，进程和并发的指称语义，Inform。和控制，54，1/2，70-120（1982）·Zbl 0508.68011号
[10] R.Milner，《通信系统微积分》，《计算机科学讲义》，第92卷，施普林格出版社，纽约，1980年。；R.Milner，《通信系统微积分》，《计算机科学讲义》，第92卷，施普林格，纽约，1980年·Zbl 0452.68027号
[11] 米尔纳，R.，函数作为过程，数学。结构计算。科学。，54, 1/2, 70-120 (1982)
[12] Ponse，A.，带单位指令运算符的程序代数，J.逻辑代数编程，2，2，119-141（1992）
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。