journal : Logical Methods in Computer Science
1 article
Type-based Self-stabilisation for Computational Fields (article in journal, 2015) — Ferruccio Damiani, Mirko Viroli Type-based Self-stabilisation for Computational Fields (article in journal, 2015) — Ferruccio Damiani, Mirko Viroli