A New-type Pi Calculus with Buffers and Its Bisimulation
-
Published:2012-12-01
Issue:12
Volume:7
Page:
-
ISSN:1796-203X
-
Container-title:Journal of Computers
-
language:
-
Short-container-title:JCP
Author:
Kang Hui,Wang Zhi,Zhang Shuang Shuang,Mei Fang
Publisher
International Academy Publishing (IAP)
Subject
General Computer Science