Skip to Main content Skip to Navigation
Conference papers

A Calculus of Self-stabilising Computational Fields

Abstract : Computational fields are spatially distributed data structures created by diffusion/aggregation processes, designed to adapt their shape to the topology of the underlying (mobile) network and to the events occurring in it: they have been proposed in a thread of recent works addressing self-organisation mechanisms for system coordination in scenarios including pervasive computing, sensor networks, and mobile robots. A key challenge for these systems is to assure behavioural correctness, namely, correspondence of micro-level specification (computational field specification) with macro-level behaviour (resulting global spatial pattern). Accordingly, in this paper we investigate the propagation process of computational fields, especially when composed one another to achieve complex spatial structures. We present a tiny, expressive, and type-sound calculus of computational fields, enjoying self-stabilisation, i.e., the ability of computational fields to react to changes in the environment finding a new stable state in finite time.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01290075
Contributor : Hal Ifip <>
Submitted on : Thursday, March 17, 2016 - 3:26:59 PM
Last modification on : Thursday, February 7, 2019 - 3:56:11 PM
Long-term archiving on: : Saturday, June 18, 2016 - 5:55:20 PM

File

326181_1_En_11_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Mirko Viroli, Ferruccio Damiani. A Calculus of Self-stabilising Computational Fields. 16th International Conference on Coordination Models and Languages (COORDINATION), Jun 2014, Berlin, Germany. pp.163-178, ⟨10.1007/978-3-662-43376-8_11⟩. ⟨hal-01290075⟩

Share

Metrics

Record views

84

Files downloads

217