Springer
Lecture Notes in Computer Science
International Conference on Coordination Models and Languages
Computer Security

Jongmans, S., Halle, S.& Arbab, F. (2014). Automata-based optimization of interaction protocols for scalable multicore platforms. Proceedings of International Conference on Coordination Models and Languages 2014 (COORDINATION 16), 65–82.