@inproceedings{JacobsP11,
	Author = {B. Jacobs and F. Piessens},
	Bibsource = {DBLP, http://dblp.uni-trier.de},
	Booktitle = {POPL},
	Crossref = {DBLP:conf/popl/2011},
	Pages = {271-282},
	Title = {Expressive modular fine-grained concurrency specification},
	Year = {2011}}