1. Exploiting postdominance for speculative parallelization;Agarwal,2007
2. The Fractal component model;Bruneton,2004
3. Collingbourne, P. C., “Verification tools for multi-core programming,” Master's thesis, Imperial College, London, United Kingdom (2007)
4. de Alfaro, L. and T. A. Henzinger, Interface automata, in: ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (2001), pp. 109–120
5. Bounded Session Types for Object-Oriented Languages;Dezani-Ciancaglini,2007