Publications

Export 1 results:
Filters: Author is Paulino, Hervé  [Clear All Filters]
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.