An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi. - Shahram Rahimi 001; Rishath A. Rias; Elham Sahebkar Khorasani (Int. J. Softw. Sci. Comput. Intell., 2012)