Modularizing and specifying protocols among threads

Additional Metadata
THEME	Software (theme 1)
Conference	European Joint Conferences on Theory and Practice of Software
Note	affiliated workshop: Programming Language Approaches to Concurrence and Communication-cEntric Software (PLACES)
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Jongmans, S.& Arbab, F. (2012, January). Modularizing and specifying protocols among threads. Proceedings of European Joint Conferences on Theory and Practice of Software 2012.

Publication