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 Style AAA Style APA 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.-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.

Publication