{"_id":"nfv7Zu4gFzcKWB4a3","bibbaseid":"lima-braga-haeusler-thesmixsynchronousmultimedialanguageoperationalsemanticsandcoroutineimplementation-2016","authorIDs":[],"author_short":["Lima, G. F.","Braga, C.","Haeusler, E. H."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","location":"Porto Alegre, RS, Brazil","title":"The Smix synchronous multimedia language: Operational semantics and coroutine implementation","isbn":"978-85-7669-357-4","url":"http://etmf2016.imd.ufrn.br/Anais_ETMF.pdf","pages":"145–154","booktitle":"Anais da 1a escola de informática teórica e métodos formais (ETMF 2016), natal, RN, brazil, 22–23 november, 2016","publisher":"SBC","author":[{"propositions":[],"lastnames":["Lima"],"firstnames":["Guilherme","F."],"suffixes":[]},{"propositions":[],"lastnames":["Braga"],"firstnames":["Christiano"],"suffixes":[]},{"propositions":[],"lastnames":["Haeusler"],"firstnames":["Edward","Hermann"],"suffixes":[]}],"year":"2016","bibtex":"@inproceedings{lima_smix_2016,\n\tlocation = {Porto Alegre, {RS}, Brazil},\n\ttitle = {The Smix synchronous multimedia language: Operational semantics and coroutine implementation},\n\tisbn = {978-85-7669-357-4},\n\turl = {http://etmf2016.imd.ufrn.br/Anais_ETMF.pdf},\n\tpages = {145--154},\n\tbooktitle = {Anais da 1a escola de informática teórica e métodos formais ({ETMF} 2016), natal, {RN}, brazil, 22–23 november, 2016},\n\tpublisher = {{SBC}},\n\tauthor = {Lima, Guilherme F. and Braga, Christiano and Haeusler, Edward Hermann},\n\tyear = {2016},\n}\n\n","author_short":["Lima, G. F.","Braga, C.","Haeusler, E. H."],"key":"lima_smix_2016","id":"lima_smix_2016","bibbaseid":"lima-braga-haeusler-thesmixsynchronousmultimedialanguageoperationalsemanticsandcoroutineimplementation-2016","role":"author","urls":{"Paper":"http://etmf2016.imd.ufrn.br/Anais_ETMF.pdf"},"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"http://www.telemidia.puc-rio.br/files/biblio/all.bib","creationDate":"2020-03-04T14:40:15.415Z","downloads":3,"keywords":[],"search_terms":["smix","synchronous","multimedia","language","operational","semantics","coroutine","implementation","lima","braga","haeusler"],"title":"The Smix synchronous multimedia language: Operational semantics and coroutine implementation","year":2016,"dataSources":["gXSBTZhj3xCWydoZF"]}