The Buffered \pi-Calculus: A Model for Concurrent Languages

language and automata theory and applications, 2012.

Cited by: 0|Views1

Abstract:

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

Code:

Data:

Full Text
Bibtex
Your rating :
0

 

Tags
Comments