7 citations · 7 across the 2 of their papers we have counts for
1 paper · 2 filters
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…