@article{Jacobs:2008:PMC:1452044.1452045,
	Author = {B. Jacobs and F. Piessens and J. Smans and K.R.M. Leino and W. Schulte},
	Journal = {ACM Transactions on Programming Languages and Systems},
	Month = {December},
	Number = {1},
	Pages = {1--48},
	Publisher = {ACM},
	Title = {A programming model for concurrent object-oriented programs},
	Volume = {31},
	Year = {2008}}

{"_id":"GBMNq8HpXNpu8YRNx","bibbaseid":"jacobs-piessens-smans-leino-schulte-aprogrammingmodelforconcurrentobjectorientedprograms-2008","downloads":0,"creationDate":"2018-08-29T13:17:52.286Z","title":"A programming model for concurrent object-oriented programs","author_short":["Jacobs, B.","Piessens, F.","Smans, J.","Leino, K.","Schulte, W."],"year":2008,"bibtype":"article","biburl":"http://utwente-fmt.github.io/vercors/references.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["B."],"propositions":[],"lastnames":["Jacobs"],"suffixes":[]},{"firstnames":["F."],"propositions":[],"lastnames":["Piessens"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Smans"],"suffixes":[]},{"firstnames":["K.R.M."],"propositions":[],"lastnames":["Leino"],"suffixes":[]},{"firstnames":["W."],"propositions":[],"lastnames":["Schulte"],"suffixes":[]}],"journal":"ACM Transactions on Programming Languages and Systems","month":"December","number":"1","pages":"1–48","publisher":"ACM","title":"A programming model for concurrent object-oriented programs","volume":"31","year":"2008","bibtex":"@article{Jacobs:2008:PMC:1452044.1452045,\n\tAuthor = {B. Jacobs and F. Piessens and J. Smans and K.R.M. Leino and W. Schulte},\n\tJournal = {ACM Transactions on Programming Languages and Systems},\n\tMonth = {December},\n\tNumber = {1},\n\tPages = {1--48},\n\tPublisher = {ACM},\n\tTitle = {A programming model for concurrent object-oriented programs},\n\tVolume = {31},\n\tYear = {2008}}\n\n","author_short":["Jacobs, B.","Piessens, F.","Smans, J.","Leino, K.","Schulte, W."],"key":"Jacobs:2008:PMC:1452044.1452045","id":"Jacobs:2008:PMC:1452044.1452045","bibbaseid":"jacobs-piessens-smans-leino-schulte-aprogrammingmodelforconcurrentobjectorientedprograms-2008","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["programming","model","concurrent","object","oriented","programs","jacobs","piessens","smans","leino","schulte"],"keywords":[],"authorIDs":[],"dataSources":["7Z8XEkSJX2s636QcA"]}