APA (7th ed.) Citation

Mahe, E., Gaston, C., & Le Gall, P. (2024). Denotational and operational semantics for interaction languages: Application to trace analysis. Science of computer programming, 232, 103034. https://doi.org/10.1016/j.scico.2023.103034

Chicago Style (17th ed.) Citation

Mahe, Erwan, Christophe Gaston, and Pascale Le Gall. "Denotational and Operational Semantics for Interaction Languages: Application to Trace Analysis." Science of Computer Programming 232 (2024): 103034. https://doi.org/10.1016/j.scico.2023.103034.

MLA (9th ed.) Citation

Mahe, Erwan, et al. "Denotational and Operational Semantics for Interaction Languages: Application to Trace Analysis." Science of Computer Programming, vol. 232, 2024, p. 103034, https://doi.org/10.1016/j.scico.2023.103034.