Session-based compilation framework for multicore programming

TitleSession-based compilation framework for multicore programming
Publication TypeBook Chapter
Year of Publication2009
AuthorsYoshida, N., V. T. Vasconcelos, H. Paulino, and K. Honda
Book TitleFormal Methods for Components and Objects
Pagination226–246
PublisherSpringer Berlin Heidelberg