Cited By
View all- Cohen JManoussakis GPilard L(2023)From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)10.1109/SYNASC61333.2023.00023(114-121)Online publication date: 11-Sep-2023