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-Zitierstil (17. Ausg.)Castañeda, Armando, Aurélie Hurault, Philippe Quéinnec, und 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-Zitierstil (9. Ausg.)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.