The logic of message-passing

J. R.B. Cockett, Craig Pastro

研究成果: ジャーナルへの寄稿学術誌査読

3 被引用数 (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.

本文言語英語
ページ(範囲)498-533
ページ数36
ジャーナルScience of Computer Programming
74
8
DOI
出版ステータス出版済み - 6月 1 2009
外部発表はい

!!!All Science Journal Classification (ASJC) codes

  • ソフトウェア

フィンガープリント

「The logic of message-passing」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル