S. Tasiran, A. Sezgin, и S. Quadeer. Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)
E. Emerson, и K. Namjoshi. LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, стр. 70. Washington, DC, USA, IEEE Computer Society, (1998)
M. Talupur, и M. Tuttle. FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, стр. 1--8. Piscataway, NJ, USA, IEEE Press, (2008)
M. Herlihy, и J. Wing. POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, стр. 13--26. New York, NY, USA, ACM, (1987)