APA (7th ed.) Citation

Castañeda, A., Hurault, A., Quéinnec, P., & Roy, M. (2023). Tasks in modular proofs of concurrent algorithms. Information and computation, 292(Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), 105040. https://doi.org/10.1016/j.ic.2023.105040

Chicago Style (17th ed.) Citation

Castañeda, Armando, Aurélie Hurault, Philippe Quéinnec, and Matthieu Roy. "Tasks in Modular Proofs of Concurrent Algorithms." Information and Computation 292, no. Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (2023): 105040. https://doi.org/10.1016/j.ic.2023.105040.

MLA (9th ed.) Citation

Castañeda, Armando, et al. "Tasks in Modular Proofs of Concurrent Algorithms." Information and Computation, vol. 292, no. Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, 2023, p. 105040, https://doi.org/10.1016/j.ic.2023.105040.