@inproceedings{JaskolkaKhedriZhang2014,
	Author = {Jason Jaskolka and Ridha Khedri and Qinglei Zhang},
	Booktitle = {14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014)},
	Title = {Endowing Concurrent {Kleene} Algebra with Communication Actions},
   series = {Lecture Notes in Computer Science},
   editor = {P. H�fner et al.}, 
   publisher = {Springer International Publishing Switzerland},
   pages = {19 -- 36},
   volume = {8428},
   year = {2014}
}
%RAMICS Month = {27 April -- 1 May},


%------------------------------------------------------
%---------------------- Published 2013 -------
%------------------------------------------------------

{"_id":"Nar52EeuyKG3qdXQi","bibbaseid":"jaskolka-khedri-zhang-endowingconcurrentkleenealgebrawithcommunicationactions-2014","downloads":0,"creationDate":"2016-02-02T16:45:04.227Z","title":"Endowing Concurrent Kleene Algebra with Communication Actions","author_short":["Jaskolka, J.","Khedri, R.","Zhang, Q."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.cas.mcmaster.ca/~khedri/wp-content/uploads/BIBLIOGRAPHY/cvbib.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jason"],"propositions":[],"lastnames":["Jaskolka"],"suffixes":[]},{"firstnames":["Ridha"],"propositions":[],"lastnames":["Khedri"],"suffixes":[]},{"firstnames":["Qinglei"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"booktitle":"14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014)","title":"Endowing Concurrent Kleene Algebra with Communication Actions","series":"Lecture Notes in Computer Science","editor":[{"firstnames":["P.","H�fner"],"propositions":["et","al."],"lastnames":[],"suffixes":[]}],"publisher":"Springer International Publishing Switzerland","pages":"19 – 36","volume":"8428","year":"2014","bibtex":"@inproceedings{JaskolkaKhedriZhang2014,\n\tAuthor = {Jason Jaskolka and Ridha Khedri and Qinglei Zhang},\n\tBooktitle = {14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014)},\n\tTitle = {Endowing Concurrent {Kleene} Algebra with Communication Actions},\n series = {Lecture Notes in Computer Science},\n editor = {P. H�fner et al.}, \n publisher = {Springer International Publishing Switzerland},\n pages = {19 -- 36},\n volume = {8428},\n year = {2014}\n}\n%RAMICS Month = {27 April -- 1 May},\n\n\n%------------------------------------------------------\n%---------------------- Published 2013 -------\n%------------------------------------------------------\n\n\n","author_short":["Jaskolka, J.","Khedri, R.","Zhang, Q."],"editor_short":["et al. , P. H."],"key":"JaskolkaKhedriZhang2014","id":"JaskolkaKhedriZhang2014","bibbaseid":"jaskolka-khedri-zhang-endowingconcurrentkleenealgebrawithcommunicationactions-2014","role":"author","urls":{},"metadata":{"authorlinks":{"khedri, r":"http://www.cas.mcmaster.ca/khedri/"}},"downloads":0,"html":""},"search_terms":["endowing","concurrent","kleene","algebra","communication","actions","jaskolka","khedri","zhang"],"keywords":[],"authorIDs":["fjFPj4EHaK6KNXhFi"],"dataSources":["R4pF6oKzFC7B5Dxhj"]}