Communication dans un congrès, GALaC, Informatique, Sciences cognitives
From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms
Johanne Cohen, George Manoussakis, Laurence Pilard. From State to Link-Register Model: A transformer for Self-Stabilizing Distributed Algorithms. 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2023, Nancy, France. ⟨hal-04388668⟩