德克·托布纳 关于过程代数中递归符号的注记。 （英语） Zbl 0714.68053号 信息处理。莱特。 37，第6号，299-303（1991）。 摘要：对于过程代数中递归的表示法，有两种常见的技术。一种使用递归定义写为等式，另一种使用所谓的rec-notation（也称为fix-或\（\mu\）-表示法）。两者都有生成操作语义的特定规则。该注释表明，这两种技术的（强互模拟）等价性可以作为一个简单的练习来证明。 引用于1文件 MSC公司： 68问题55 计算理论中的语义学 关键词：形式语义学;计算理论;递归;过程代数 PDF格式BibTeX公司 XML格式引用 \textit{D.Taubner}，Inf.过程。莱特。37，第6号，299--303（1991；Zbl 0714.68053） 全文： 内政部 参考文献： [1] Barendregt，H.，《兰姆达演算——其语法和语义》（The Lambda Calculus-Its Syntax and Semantics）（1985年），北荷兰：北荷兰阿姆斯特丹·Zbl 0597.03009号 [2] Bergstra，J。；Klop，J.，递归定义过程的代数和正则过程的代数，（Paredans，J.，自动机，语言和编程，172（1984），施普林格：施普林格柏林），82-94，计算机科学讲义·Zbl 0561.68019号 [3] 布鲁克斯，S。；霍尔，C。；Roscoe，A.，《通信顺序过程理论》，J.ACM，31560-599（1984）·Zbl 0628.68025号 [4] Hermes，H.，可枚举性，可判定性，可计算性。递归函数理论导论（1969），施普林格：施普林格-柏林·Zbl 0179.01801号 [5] 米尔纳，R.，《沟通与并发》（1989），普伦蒂斯大厅：纽约普伦蒂斯大厅·Zbl 0683.68008号 [6] Olderog，E.-R。；Hoare，C.，《通信过程的面向规范的语义》，Acta Inform。，23, 9-66 (1986) ·Zbl 0569.68019号 [7] Park，D.，无限序列上的并发与自动机，（Deussen，P.，《理论计算机科学》，理论计算机科学，计算机科学讲稿，104（1981），Springer:Springer Berlin），167-183·Zbl 0457.68049号 [8] Plotkin，G.，《操作语义的结构方法》（技术报告，DAIMI FN-19（1981），奥胡斯大学）·Zbl 1082.68062号 [9] Taubner，D.，《CCS和TCSP程序的自动机和Petri网有限表示》（计算机科学讲义，369（1989），Springer:Springer-Blin）·Zbl 0684.68011号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。