Publications

Export 11 results:
Filters: Author is Yoshida, Nobuko  [Clear All Filters]
2017
Vasconcelos, V. T., F. Martins, E. R. B. Marques, N. Yoshida, and N. Ng, "Deductive Verification of MPI Protocols", Behavioural Types: from Theory to Tools: River Publishers, pp. 353, 2017.
Gay, S., V. T. Vasconcelos, P. Wadler, and N. Yoshida, "Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)", Dagstuhl Reports, vol. 7, no. 1: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017.
2012
Honda, K., E. R. B. Marques, F. Martins, N. Ng, V. T. Vasconcelos, and N. Yoshida, "Verification of MPI programs using session types", Recent Advances in the Message Passing Interface: Springer Berlin Heidelberg, pp. 291–293, 2012.
2010
Vasconcelos, V. T., M. Giunti, N. Yoshida, and K. Honda, "Type safety without subject reduction for session types", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
2009
Yoshida, N., V. T. Vasconcelos, H. Paulino, and K. Honda, "Session-based compilation framework for multicore programming", Formal Methods for Components and Objects: Springer Berlin Heidelberg, pp. 226–246, 2009.
Giunti, M., K. Honda, V. T. Vasconcelos, and N. Yoshida, "Session-based type discipline for pi calculus with matching", In the preproceedings of PLACES, vol. 9, 2009.
Honda, K., V. T. Vasconcelos, and N. Yoshida, "Type-directed compilation for multicore programming", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.