1 paper
Xiaojie Deng, Yu Zhang, Yuxin Deng +1
Message-passing based concurrent languages are widely used in developing large distributed and coordination systems. This paper presents the buffered π-calculus --- a variant of…