并发组合的代数刻画
计算机科学中的逻辑
2014-06-10 v1
摘要
我们基于 Peter Landin 的“程序 - 机器对称自动机理论”中的思想，给出了一种允许真正并发的同步并行组合形式的代数刻画。
引用
@article{arxiv.1406.1965,
title = {An Algebraic Characterisation of Concurrent Composition},
author = {Samson Abramsky},
journal= {arXiv preprint arXiv:1406.1965},
year = {2014}
}
备注
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