journal : Logical Methods in Computer Science

1 article
page_white_acrobat Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli