Session-based compilation framework for multicore programming
Title | Session-based compilation framework for multicore programming |
Publication Type | Book Chapter |
Year of Publication | 2009 |
Authors | Yoshida, N., V. T. Vasconcelos, H. Paulino, and K. Honda |
Book Title | Formal Methods for Components and Objects |
Pagination | 226–246 |
Publisher | Springer Berlin Heidelberg |