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
Citácia podle Chicago (17th ed.)Castañeda, Armando, Aurélie Hurault, Philippe Quéinnec, a 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.
Citácia podľa MLA (8th ed.)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.