APA (7th ed.) Citation

Lima, G. F., Santos, R. C., Ierusalimschy, R., Haeusler, E. H., & Sant’Anna, F. (2019). A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu. Journal of systems architecture, 97, 239-257. https://doi.org/10.1016/j.sysarc.2019.01.014

Chicago Style (17th ed.) Citation

Lima, Guilherme F., Rodrigo C.M Santos, Roberto Ierusalimschy, Edward H. Haeusler, and Francisco Sant’Anna. "A Memory-bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu." Journal of Systems Architecture 97 (2019): 239-257. https://doi.org/10.1016/j.sysarc.2019.01.014.

MLA (9th ed.) Citation

Lima, Guilherme F., et al. "A Memory-bounded, Deterministic and Terminating Semantics for the Synchronous Programming Language Céu." Journal of Systems Architecture, vol. 97, 2019, pp. 239-257, https://doi.org/10.1016/j.sysarc.2019.01.014.