S. Tasiran, A. Sezgin, and S. Quadeer. Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)
S. Marr. SPLASH '10: Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, page 221--222. New York, NY, USA, ACM, (17-21 October 2010)
D. Ungar, and S. Adams. Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, page 19--26. New York, NY, USA, ACM, (2010)
C. Reynolds. SIGGRAPH '87: Proceedings of the 14th annual conference on Computer graphics and interactive techniques, page 25--34. New York, NY, USA, ACM, (1987)
E. Emerson, and K. Namjoshi. LICS '98: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science, page 70. Washington, DC, USA, IEEE Computer Society, (1998)
M. Talupur, and M. Tuttle. FMCAD '08: Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, page 1--8. Piscataway, NJ, USA, IEEE Press, (2008)
P. Damron, A. Fedorova, Y. Lev, V. Luchangco, M. Moir, and D. Nussbaum. ASPLOS-XII: Proceedings of the 12th international conference on Architectural support for programming languages and operating systems, page 336--346. New York, NY, USA, ACM, (2006)