Interaction and Concurrency Experience
Computer Security

Jongmans, S.& Arbab, F. (2014). Toward sequentializing overparallelized protocol code. Proceedings of Interaction and Concurrency Experience 2014 (ICE 7), 38–44.