A New-type Pi Calculus with Buffers and Its Bisimulation
Article in Journal of Computers (December 2012)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Article in Journal of Computers (December 2012)
Conference proceeding (July 2011)
Conference proceeding (August 2010)