The Buffered π-Calculus: A Model for Concurrent Languages
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 250-261, 2013.
EI WOS SCOPUS
Message-passing based concurrent languages are widely used in developing large distributed and coordination systems. This paper presents the buffered π-calculus - a variant of the π-calculus where channel names are classified into buffered and unbuffered: communication along buffered channels is asynchronous, and remains synchronous along...More
Full Text (Upload PDF)
PPT (Upload PPT)