Type-based Self-stabilisation for Computational Fields

@article{DV-LMCS2015,
   author = {Damiani, Ferruccio and Viroli, Mirko},
   doi = {10.2168/LMCS-11(4:21)2015},
   issn = {1860-5974},
   journal = {Logical Methods in Computer Science},
   number = 4,
   numpages = 53,
   pages = {1--53},
   publisher = {EPI Sciences},
   title = {Type-based Self-stabilisation for Computational Fields},
   url = {http://lmcs.episciences.org/1622},
   volume = 11,
   year = 2015
}