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. pp.114-120, ⟨10.1109/SYNASC61333.2023.00023⟩. ⟨hal-04388668⟩

Publié le