TY - JOUR
T1 - The logic of message-passing
AU - Cockett, J. R.B.
AU - Pastro, Craig
N1 - Funding Information:
I The first author gratefully acknowledges the support of NSERC, Canada while the second gratefully acknowledges the support of an international Macquarie University Research Scholarship. Parts of this work were completed while the second author was visiting the University of Calgary during which he was also supported by the Department of Computer Science at the University of Calgary, Macquarie International, and the ICS Postgraduate
PY - 2009/6/1
Y1 - 2009/6/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=67349257931&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=67349257931&partnerID=8YFLogxK
U2 - 10.1016/j.scico.2007.11.005
DO - 10.1016/j.scico.2007.11.005
M3 - Article
AN - SCOPUS:67349257931
SN - 0167-6423
VL - 74
SP - 498
EP - 533
JO - Science of Computer Programming
JF - Science of Computer Programming
IS - 8
ER -