%0 Conference Paper %1 journals/corr/abs-1302-6333 %A Jongmans, Sung-Shik T. Q. %A Arbab, Farhad %B PLACES %D 2012 %E Gay, Simon J. %E Kelly, Paul %K dblp %P 34-45 %T Modularizing and Specifying Protocols among Threads %U http://dblp.uni-trier.de/db/series/eptcs/eptcs109.html#abs-1302-6333 %V 109

@inproceedings{journals/corr/abs-1302-6333, added-at = {2018-09-12T00:00:00.000+0200}, author = {Jongmans, Sung-Shik T. Q. and Arbab, Farhad}, biburl = {https://www.bibsonomy.org/bibtex/29c2f27a1273922adad0e6b31fc503548/dblp}, booktitle = {PLACES}, crossref = {journals/corr/abs-1302-5798}, editor = {Gay, Simon J. and Kelly, Paul}, ee = {http://arxiv.org/abs/1302.6333}, interhash = {7b77f979f53ddeae0bc19dbd63b575f9}, intrahash = {9c2f27a1273922adad0e6b31fc503548}, keywords = {dblp}, pages = {34-45}, series = {EPTCS}, timestamp = {2018-09-13T11:40:28.000+0200}, title = {Modularizing and Specifying Protocols among Threads}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs109.html#abs-1302-6333}, volume = 109, year = 2012 }