Software (theme 1)
European Joint Conferences on Theory and Practice of Software
affiliated workshop: Programming Language Approaches to Concurrence and Communication-cEntric Software (PLACES)
Computer Security

Jongmans, S.-S.T.Q, & Arbab, F. (2012). Modularizing and specifying protocols among threads. In Proceedings of European Joint Conferences on Theory and Practice of Software 2012.