The Buffered \pi-Calculus: A Model for Concurrent Languages
language and automata theory and applications, 2012.
Message-passing based concurrent languages are widely used in developing large distributed and coordination systems. This paper presents the buffered $\pi$-calculus --- a variant of the $\pi$-calculus where channel names are classified into buffered and unbuffered: communication along buffered channels is asynchronous, and remains synch...More
PPT (Upload PPT)