APA (7th ed.) Citation

Cristescu, I., Krivine, J., & Varacca, D. (2013, June). A Compositional Semantics for the Reversible p-Calculus. 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 388-397. https://doi.org/10.1109/LICS.2013.45

Chicago Style (17th ed.) Citation

Cristescu, Ioana, Jean Krivine, and Daniele Varacca. "A Compositional Semantics for the Reversible P-Calculus." 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science Jun. 2013: 388-397. https://doi.org/10.1109/LICS.2013.45.

MLA (9th ed.) Citation

Cristescu, Ioana, et al. "A Compositional Semantics for the Reversible P-Calculus." 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun. 2013, pp. 388-397, https://doi.org/10.1109/LICS.2013.45.