The logic of message-passing

J. R.B. Cockett, Craig Pastro

Research output: Contribution to journalArticlepeer-review

4 Citations (Scopus)


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) π-calculus. The cut-elimination procedure for the system provides an operational semantics.

Original languageEnglish
Pages (from-to)498-533
Number of pages36
JournalScience of Computer Programming
Issue number8
Publication statusPublished - Jun 1 2009
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software


Dive into the research topics of 'The logic of message-passing'. Together they form a unique fingerprint.

Cite this