Impredicative Concurrent Abstract Predicates. Svendsen, K. & Birkedal, L. In ESOP, pages 149-168, 2014. Springer. bibtex @inproceedings{SvendsenB14,
Author = {K. Svendsen and L. Birkedal},
Booktitle = {ESOP},
Organization = {Springer},
Pages = {149-168},
Title = {{Impredicative Concurrent Abstract Predicates}},
Year = {2014}}
Downloads: 0
{"_id":"MuQntQ33JDiFNLjHY","bibbaseid":"svendsen-birkedal-impredicativeconcurrentabstractpredicates-2014","authorIDs":[],"author_short":["Svendsen, K.","Birkedal, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["K."],"propositions":[],"lastnames":["Svendsen"],"suffixes":[]},{"firstnames":["L."],"propositions":[],"lastnames":["Birkedal"],"suffixes":[]}],"booktitle":"ESOP","organization":"Springer","pages":"149-168","title":"Impredicative Concurrent Abstract Predicates","year":"2014","bibtex":"@inproceedings{SvendsenB14,\n\tAuthor = {K. Svendsen and L. Birkedal},\n\tBooktitle = {ESOP},\n\tOrganization = {Springer},\n\tPages = {149-168},\n\tTitle = {{Impredicative Concurrent Abstract Predicates}},\n\tYear = {2014}}\n\n","author_short":["Svendsen, K.","Birkedal, L."],"key":"SvendsenB14","id":"SvendsenB14","bibbaseid":"svendsen-birkedal-impredicativeconcurrentabstractpredicates-2014","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://utwente-fmt.github.io/vercors/references.bib","creationDate":"2019-07-02T12:17:56.627Z","downloads":0,"keywords":[],"search_terms":["impredicative","concurrent","abstract","predicates","svendsen","birkedal"],"title":"Impredicative Concurrent Abstract Predicates","year":2014,"dataSources":["7Z8XEkSJX2s636QcA"]}