arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新，休息一下吧，周末愉快~~
arXiv 1406.1965cs.LO
收藏

并发合成的一个代数特征

An Algebraic Characterisation of Concurrent Composition

Samson Abramsky

备注：
This is an old technical report from 1981. I submitted it to a special issue of HOSC in honour of Peter Landin, as explained in the Prelude, added in 2008. However, at an advanced stage, the handling editor became unresponsive, and the paper was never published. I am making it available via the arXiv for the same reasons given in the Prelude
阅读 PDF
arXiv 页面 ↗HTML 原文 ↗

摘要：

我们给出了一种形式的同步并行组合允许真正的并发性的代数表征，使用基于彼得·兰丁的“程序-机器对称自动机理论”的想法。

英文摘要：

We give an algebraic characterization of a form of synchronized parallel composition allowing for true concurrency, using ideas based on Peter Landin's "Program-Machine Symmetric Automata Theory".

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

↑