Scifaro

中文

并发的根本结构是什么？我们仍然不知道！

计算机科学中的逻辑 2014-01-21 v1

作者: Samson Abramsky

在 arXiv 上查看 ↗ PDF ↗

摘要

进程代数在许多方面取得了成功；但我们尚未看到基础理论的轮廓。试图从 Petri 网、物理学和几何学中寻找一些短暂的一瞥。

关键词

并发进程代数 Petri 网根本结构分布式系统

引用

@article{arxiv.1401.4973,
  title  = {What are the fundamental structures of concurrency? We still don't know!},
  author = {Samson Abramsky},
  journal= {arXiv preprint arXiv:1401.4973},
  year   = {2014}
}

备注

5 pages