Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms

Sung-Shik T. Q. Jongmans, Sean Halle, Farhad Arbab. Automata-Based Optimization of Interaction Protocols for Scalable Multicore Platforms. In eva Kühn, Rosario Pugliese, editors, Coordination Models and Languages - 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings. Volume 8459 of Lecture Notes in Computer Science, pages 65-82, Springer, 2014. [doi]

Abstract

Abstract is missing.