Interaction and Concurrency Experience
Computer Security

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