%0 Conference Paper %1 conf/lctrts/SantosLSIH18 %A Santos, Rodrigo C. M. %A Lima, Guilherme F. %A Sant'Anna, Francisco %A Ierusalimschy, Roberto %A Haeusler, Edward Hermann %B LCTES %D 2018 %E Zhang, Zheng %E Dubach, Christophe %I ACM %K dblp %P 1-18 %T A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. %U http://dblp.uni-trier.de/db/conf/lctrts/lctes2018.html#SantosLSIH18 %@ 978-1-4503-5803-3

@inproceedings{conf/lctrts/SantosLSIH18, added-at = {2023-09-30T00:00:00.000+0200}, author = {Santos, Rodrigo C. M. and Lima, Guilherme F. and Sant'Anna, Francisco and Ierusalimschy, Roberto and Haeusler, Edward Hermann}, biburl = {https://www.bibsonomy.org/bibtex/299146bdc55a84faa89bfec858b7c4e94/dblp}, booktitle = {LCTES}, crossref = {conf/lctrts/2018}, editor = {Zhang, Zheng and Dubach, Christophe}, ee = {https://doi.org/10.1145/3299710.3211334}, interhash = {18a9eefbb310066751f20d8ff621dbbe}, intrahash = {99146bdc55a84faa89bfec858b7c4e94}, isbn = {978-1-4503-5803-3}, keywords = {dblp}, pages = {1-18}, publisher = {ACM}, timestamp = {2024-04-09T09:43:53.000+0200}, title = {A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu.}, url = {http://dblp.uni-trier.de/db/conf/lctrts/lctes2018.html#SantosLSIH18}, year = 2018 }