1. Aananthakrishnan, S., Bronevetsky, G., Gopalakrishnan, G.: Hybrid approach for data-flow analysis of MPI programs. In: Malony, A.D., Nemirovsky, M., Midkiff, S.P. (eds.) International Conference on Supercomputing, ICS 2013, pp. 455–456. ACM, Eugene, OR, USA, 10–14 June 2013.
http://doi.acm.org/10.1145/2464996.2467286
2. Bartoletti, M., Castellani, I., Denielou, P.M., Dezani-Ciancaglini, M., Ghilezan, S., Pantovic, J., Pérez, J.A., Thiemann, P., Toninho, B., Vieira, H.T.: Combining behavioural types with security analysis, state of The Art Report of WG2 - European Cost Action IC1201 BETTY (Behavioural Types for Reliable Large-Scale Software Systems).
http://www.behavioural-types.eu/publications/WG2-State-of-the-Art.pdf/at_download/file
3. Lecture Notes in Computer Science;L Bocchi,2014
4. Lecture Notes in Computer Science;G Boudol,2009
5. Bronevetsky, G.: Communication-sensitive static dataflow for parallel message passing applications. In: Proceedings of the CGO 2009, The Seventh International Symposium on Code Generation and Optimization, pp. 1–12, Seattle, Washington, USA, 22–25 March 2009. IEEE Computer Society (2009).
http://dx.doi.org/10.1109/CGO.2009.32