Pranav Vaidya Jaehwan John Lee Xiang Xiao Multiprocessor Simulation Using Communicating Sequential Processes. 215-221 2008 MSV conf/msv/2008 db/conf/msv/msv2008.html#VaidyaLX08