×
乌尔苏拉·戈尔茨；Schicke-Uffmann，Jens-W。

三方之间的同步和异步通信。 （英语） Zbl 1443.68009号

学报信息。 57，编号3-5，313-320（2020）.

MSC公司：

2003年8月 计算机科学史
01A70号 传记、讣告、个人信息、参考书目
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

等价物；精炼；同步通信；异步通信；个人记忆

传记参考文献：

罗伯特·J·范格拉贝克。
PDF格式BibTeX公司 XML格式引用
\textit{U.Goltz}和\textit{J.-W.Schicke-Uffmann}，《学报》第57期，第3--5313--320号（2020年；Zbl 1443.68009）
全文： 内政部

参考文献：

[1] Castellani，I.，WS25CCC研讨会报告“组合性和并发性相结合的25年”，Bull。欧洲协会理论。计算。科学。（EATCS），第112页，第99-103页（2014年）
[2] 卡斯特拉诺，L。；De Michelis，G。；Pomello，L.，《并发与交织：一个很有启发性的例子》，Bull。欧洲协会理论。计算。科学。（EATCS），31，12-22（1987）·Zbl 1023.68635号
[3] Goltz，C.：（2019）。个人通信
[4] Groote，J.F.：LOTOS规范中事件的实施，硕士论文，特温特大学，CFT-Note 009/88EN制造技术中心（1988）
[5] Olderog，E-R；美国高尔茨。；van Glabbeek，RJ，GMD-组合性和并发性研讨会，Bull。欧洲协会理论。计算。科学。（EATCS），35225-256（1988）
[6] Pratt，V.，关于组合性和并发性结合的会议报告研讨会，Bull。欧洲协会理论。计算。科学。（EATCS），35，253-254（1988）
[7] Rabinovich，A。；Trakhtenbrot，文学学士，行为结构和网络，Fundam。Inf.，11，4，357-404（1988）·Zbl 0657.68068号
[8] Reisig，W.，《关于组合性和并发性相结合的GMD研讨会的报告》，Bull。欧洲协会理论。计算。科学。（EATCS），35251-253（1988）
[9] 范·格拉贝克，RJ；Goltz，U.，并发系统的等价概念和作用的细化，Arbeitspapiere der GMD，366，02（1989）
[10] van Glabbeek，R.J.，Goltz，U.：并发系统的等价概念和动作的细化（扩展抽象）。《计算机科学讲义》第379卷，第237-248页（1989）·Zbl 0755.68095号
[11] 范·格拉贝克，RJ；Goltz，U.，用于细化动作的部分顺序语义——既不必要也不总是充分的，但在谨慎使用时是适当的——Bull。欧洲协会理论。计算。科学。（EATCS），38，154-163（1989）·Zbl 0683.68068号
[12] 范·格拉贝克，RJ；Goltz，U.，并发系统的作用和等价概念的精化，Acta Inf.，37，4-5，229-327（2001）·Zbl 0969.68081号 ·doi:10.1007/s002360000041
[13] van Glabbeek，R.J.，Goltz，U.，Olderog，E.（编辑）：特刊：组合性和并发性的结合第1部分。Acta Inform公司。52(1), 3-4 (2015) ·Zbl 1315.00129号
[14] van Glabbeek，R.J.，Goltz，U.，Olderog，E.（编辑）：特刊：组合性和并发性的结合，第2部分。Acta Inf，52（4-5），443-452（2015）·Zbl 1315.00129号
[15] 范·格拉贝克，RJ；美国高尔茨。；Schicke，J-W，对称和非对称异步交互。ENTCS（2008），阿姆斯特丹：爱思唯尔，阿姆斯特朗
[16] 范·格拉贝克，RJ；美国高尔茨。；Schicke，J-W，场所/过渡系统抽象过程，Inf.过程。莱特。，111, 13, 626-633 (2011) ·Zbl 1260.68282号 ·doi:10.1016/j.ipl.2011年11月13日
[17] van Glabbeek，R.J.，Goltz，U.，Schicke-Uffmann，J.-W.：关于可分配性的表征。计算机科学中的逻辑方法，9（3）（2013）·Zbl 1274.68261号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。