Software (theme 1)
Springer
Lecture Notes in Computer Science
International Conference on Coordination Models and Languages
Computer Security

Jongmans, S.-S.T.Q, 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.