A New-type Pi Calculus with Buffers and Its Bisimulation

Hui Kang, Zhi Wang, Shuang Zhang, Fang Mei. A New-type Pi Calculus with Buffers and Its Bisimulation. JCP, 7(12):2931-2938, 2012. [doi]

Abstract

Abstract is missing.