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. In Proceedings of International Conference on Coordination Models and Languages 2014 (COORDINATION 16) (pp. 65–82). Springer.