{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:03:33Z","timestamp":1762459413940,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2015,12,31]],"date-time":"2015-12-31T00:00:00Z","timestamp":1451520000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"crossref","award":["644298"],"award-info":[{"award-number":["644298"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"crossref","award":["256873"],"award-info":[{"award-number":["256873"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>Emerging network scenarios require the development of solid large-scale\nsituated systems. Unfortunately, the diffusion\/aggregation computational\nprocesses therein often introduce a source of complexity that hampers\npredictability of the overall system behaviour. Computational fields have been\nintroduced to help engineering such systems: they are spatially distributed\ndata structures designed to adapt their shape to the topology of the underlying\n(mobile) network and to the events occurring in it, with notable applications\nto pervasive computing, sensor networks, and mobile robots. To assure\nbehavioural correctness, namely, correspondence of micro-level specification\n(single device behaviour) with macro-level behaviour (resulting global spatial\npattern), we investigate the issue of self-stabilisation for computational\nfields. We present a tiny, expressive, and type-sound calculus of computational\nfields, and define sufficient conditions for self-stabilisation, defined as the\nability to react to changes in the environment finding a new stable state in\nfinite time. A type-based approach is used to provide a correct checking\nprocedure for self-stabilisation.<\/jats:p>","DOI":"10.2168\/lmcs-11(4:21)2015","type":"journal-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T13:46:40Z","timestamp":1479736000000},"source":"Crossref","is-referenced-by-count":12,"title":["Type-based Self-stabilisation for Computational Fields"],"prefix":"10.46298","volume":"Volume 11, Issue 4","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"25203","published-online":{"date-parts":[[2015,12,31]]},"reference":[{"key":"1110:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1622\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1622\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:08:09Z","timestamp":1681243689000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1622"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,31]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-11(4:21)2015","relation":{"is-same-as":[{"id-type":"arxiv","id":"1509.05659","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1509.05659","asserted-by":"subject"}],"is-referenced-by":[{"id-type":"doi","id":"10.1007\/978-3-030-04771-9_22","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2015,12,31]]},"article-number":"1622"}}