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
Citace 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.
Citace podle MLA (9th 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.