×
罗伯托·布鲁尼;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里

流合成语言中补偿的理论基础。 （英语） Zbl 1369.68070号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。209-220 (2005).

引用于16文件

MSC公司：

第68页第15页 编程语言理论
68问题55 计算理论中的语义学
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

关键词：

补偿;过程描述语言;交易
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，摘自：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。209--220（2005年；Zbl 1369.68070）
全文： 内政部