@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}}

{"_id":"3bvKo8EWBLb3Pt5vw","bibbaseid":"jacobs-piessens-expressivemodularfinegrainedconcurrencyspecification-2011","downloads":0,"creationDate":"2018-08-29T13:17:52.242Z","title":"Expressive modular fine-grained concurrency specification","author_short":["Jacobs, B.","Piessens, F."],"year":2011,"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["B."],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["F."],"propositions":[],"lastnames":["Piessens"],"suffixes":[]}],"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","bibtex":"@inproceedings{JacobsP11,\n\tAuthor = {B. Jacobs and F. Piessens},\n\tBibsource = {DBLP, http://dblp.uni-trier.de},\n\tBooktitle = {POPL},\n\tCrossref = {DBLP:conf/popl/2011},\n\tPages = {271-282},\n\tTitle = {Expressive modular fine-grained concurrency specification},\n\tYear = {2011}}\n\n","author_short":["Jacobs, B.","Piessens, F."],"key":"JacobsP11","id":"JacobsP11","bibbaseid":"jacobs-piessens-expressivemodularfinegrainedconcurrencyspecification-2011","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["expressive","modular","fine","grained","concurrency","specification","jacobs","piessens"],"keywords":[],"authorIDs":[],"dataSources":["7Z8XEkSJX2s636QcA"]}