The logic of message passing
<|reference_start|>The logic of message passing: 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.<|reference_end|>
@article{cockett2007the,
    title={The logic of message passing},
    author={J. R. B. Cockett and Craig Pastro},
    journal={Science of Computer Programming 74 no.8 (2009) 498-533},
    year={2007},
    archivePrefix={arXiv},
    eprint={math/0703713},
    primaryClass={math.CT cs.LO}
}