The logic of message passing
范畴论
2010-03-03 v3 计算机科学中的逻辑
摘要
Message passing is a key ingredient of concurrent programming. The purpose of this paper is to describe the equivalence between the proof theory, the categorical semantics, and term calculus of message passing. In order to achieve this we introduce the categorical notion of a linear actegory and the related polycategorical notion of a poly-actegory. Not surprisingly the notation used for the term calculus borrows heavily from the (synchronous) pi-calculus. The cut elimination procedure for the system provides an operational semantics.
引用
@article{arxiv.math/0703713,
title = {The logic of message passing},
author = {J. R. B. Cockett and Craig Pastro},
journal= {arXiv preprint arXiv:math/0703713},
year = {2010}
}
备注
51 pages