Darondeau博士。 有限过程观测同余的扩大定义和完全公理化。 (英语) Zbl 0482.68025号 编程,程序。国际交响乐团。,第五学院,都灵,1982年,法律。注释计算。科学。137, 47-62 (1982). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于三文件 MSC公司: 68N25号 操作系统理论 关键词:递归等价;语法;n元保护操作符 引文:Zbl 0477.00025号 PDF格式BibTeX公司 XML格式