has been cited by the following article(s):
[1]
|
An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi
International Journal of Software Science and Computational Intelligence,
2012
DOI:10.4018/jssci.2012010103
|
|
|