迪迪埃·奥斯蒂;杰拉德·布多尔 Algèbre de processus et同步。 （法语） 兹伯利0533.68026 西奥。计算。科学。 30, 91-131 (1984). 小结：我们在这里介绍一个进程演算，涉及异步并行组合和一些同步原语。结果表明，在这个演算中，可以制定许多同步机制；事实上，这个微积分相当于米尔纳的同步微积分。我们通过行为语言来评估其表达能力。 引用于41文件 MSC公司： 68N25号 操作系统理论 关键词：语义学;平行度;过程微积分;同步 PDF格式BibTeX公司 XML格式引用 \textit{D.Austry}和\textit{G.Boudol}，Theor。计算。科学。30、91——131（1984年；Zbl 0533.68026） 全文： 内政部 链接 参考文献： [1] 荒木，L。；Tokura，N.，Flow语言等同于递归枚举语言，Acta Inform。，15, 209-217 (1981) ·Zbl 0456.68093号 [2] 阿诺德，A。；Nivat，M.，《过程的构成》（AFCET:Les Mathématiques de l'Informatique（1981），AFCET:AFCET Paris）·兹伯利0538.68062 [3] Hennesy，M。；Milner，R.，关于观察不确定性和并发性，（ICALP 80。ICALP 80，计算机课堂讲稿。科学。，85（1980），《施普林格：柏林施普林格》，299-309·兹比尔0441.68018 [4] Hoare，C.A.R.，《通信顺序过程的模型》（McKeag，R.M.，《关于程序构建》（1980），C.U.P）·Zbl 0841.68042号 [5] Jantzen，M.，《字符串同步操作的威力》，Theoret。计算。科学。，14, 127-154 (1981) ·Zbl 0477.68034号 [6] Milner，R.，《通信系统的微积分》，（计算机科学讲义，92（1980），施普林格：施普林格-柏林）·Zbl 0452.68027号 [7] Milner，R.，《关于同步与异步的关联》（技术报告CSR-75-80（1981），爱丁堡大学计算机科学系） [8] Milner，R.，《同步与异步演算》，Theoret。计算。科学。，25, 3, 267-310 (1983) ·Zbl 0512.68026号 [9] Plotkin，G.，《操作语义的结构方法》（Daimi FN-19（1981），奥胡斯大学计算机科学系）·Zbl 1082.68062号 [10] Shaw，A.C.，《基于正则表达式的软件规范语言》，软件开发工具研讨会（1979年），科罗拉多州平利公园 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。