Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis. Component Assemblies in the Context of Manycore. In Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, editors, Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Volume 7542 of Lecture Notes in Computer Science, pages 314-333, Springer, 2011. [doi]
Abstract is missing.