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]

Authors

Sung-Shik T. Q. Jongmans

This author has not been identified. Look up 'Sung-Shik T. Q. Jongmans' in Google

Sean Halle

This author has not been identified. Look up 'Sean Halle' in Google

Farhad Arbab

This author has not been identified. Look up 'Farhad Arbab' in Google