Publications

Export 11 results:
Filters: Author is Yoshida, Nobuko  [Clear All Filters]
Book Chapter
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.
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.
Conference Paper
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.
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.