The logic of message passing

Details The logic of message passing The logic of message passing

2007-03-23

arxiv.org/abs/math/0703713v3

Science of Computer Programming 74 no.8 (2009) 498-533

Mathematics

Category Theory

51 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

The logic of message passing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with The logic of message passing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The logic of message passing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-360962