Expressive modular fine-grained concurrency specification. Jacobs, B. & Piessens, F. In POPL, pages 271-282, 2011.
bibtex   
@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}}

Downloads: 0