The logic of message-passing

J. R.B. Cockett, Craig Antonio Pastro

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

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
Volume74
Issue number8
DOIs
Publication statusPublished - Jun 1 2009

Fingerprint

Message passing
Semantics

All Science Journal Classification (ASJC) codes

  • Software

Cite this

The logic of message-passing. / Cockett, J. R.B.; Pastro, Craig Antonio.

In: Science of Computer Programming, Vol. 74, No. 8, 01.06.2009, p. 498-533.

Research output: Contribution to journalArticle

Cockett, J. R.B. ; Pastro, Craig Antonio. / The logic of message-passing. In: Science of Computer Programming. 2009 ; Vol. 74, No. 8. pp. 498-533.
@article{abe593aca6644c09b52fd9c4ac0453fa,
title = "The logic of message-passing",
abstract = "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.",
author = "Cockett, {J. R.B.} and Pastro, {Craig Antonio}",
year = "2009",
month = "6",
day = "1",
doi = "10.1016/j.scico.2007.11.005",
language = "English",
volume = "74",
pages = "498--533",
journal = "Science of Computer Programming",
issn = "0167-6423",
publisher = "Elsevier",
number = "8",

}

TY - JOUR

T1 - The logic of message-passing

AU - Cockett, J. R.B.

AU - Pastro, Craig Antonio

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

VL - 74

SP - 498

EP - 533

JO - Science of Computer Programming

JF - Science of Computer Programming

SN - 0167-6423

IS - 8

ER -