4Miler R. A Calculus for Communicating System[J]. LNCS, 1980,92.
5Dutertre B, SchneNer S. Using a PVS Embedding of CSP to Verify security protocols[ A]. Bell Labs. Theorem Proving in Higher Order Logics[C]. New Jersey: Murray Hill, 1997.
6Gavin Lowe, Jim Davies. Using CSP to verify sequential consistency[ J ]. Distrib. Comput, 1999( 12): 91-103.
7Abadi M, Gordon A D. A Calculus for Cryptographic protocols the Spi Calculus [ A]. Proceeding of the 4th ACM Conf. on Computer and Communication Security[C]. Berlin: ACM Press, 1997.
8Jensen K. An Introduction to the Practical Use of Coloured Petri Nets[J ]. Lecture Notes in Computer Science. 1998,1492:237-292.
9Jensen K. An Introduction to the Theoretical Aspects of Coloured Petri Nets[J ]. Lecture Notes in Computer Science. 1994,803:230-272.
