Session-Based Compilation Framework for Multicore Programming

Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda. Session-Based Compilation Framework for Multicore Programming. In Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain, editors, Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures. Volume 5751 of Lecture Notes in Computer Science, pages 226-246, Springer, 2008. [doi]

@inproceedings{YoshidaVPH08,
  title = {Session-Based Compilation Framework for Multicore Programming},
  author = {Nobuko Yoshida and Vasco Thudichum Vasconcelos and Hervé Paulino and Kohei Honda},
  year = {2008},
  doi = {10.1007/978-3-642-04167-9_12},
  url = {http://dx.doi.org/10.1007/978-3-642-04167-9_12},
  tags = {rule-based, programming},
  researchr = {https://researchr.org/publication/YoshidaVPH08},
  cites = {0},
  citedby = {0},
  pages = {226-246},
  booktitle = {Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Eric Madelain},
  volume = {5751},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04166-2},
}