The Buffered π-Calculus: A Model for Concurrent Languages.

Xiaojie Deng, Yu Zhang, Yuxin Deng, Farong Zhong

Browse the full LATA paper archive.