@inproceedings{Lima-G-F-2016,
address={Porto Alegre, RS, Brazil},
author={Guilherme F.~Lima and Christiano Braga and Edward Hermann Haeusler},
booktitle={Anais da 1a~Escola de Informática Teórica e Métodos Formais (ETMF~2016), Natal, RN, Brazil, 22--23~November, 2016},
isbn={978-85-7669-357-4},
location={Natal, RN, Brazil},
pages={145--154},
publisher={SBC},
registered={2016-11-24, Rio},
title={The {Smix} synchronous multimedia language: Operational semantics and coroutine implementation},
url={http://etmf2016.imd.ufrn.br/Anais_ETMF.pdf},
year={2016},
}