%0 Conference Proceedings
%T A Calculus of Self-stabilising Computational Fields
%+ Alma Mater Studiorum Università di Bologna = University of Bologna (UNIBO)
%+ Università degli studi di Torino = University of Turin (UNITO)
%A Viroli, Mirko
%A Damiani, Ferruccio
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 16th International Conference on Coordination Models and Languages (COORDINATION)
%C Berlin, Germany
%Y David Hutchison
%Y Takeo Kanade
%Y Bernhard Steffen
%Y Demetri Terzopoulos
%Y Doug Tygar
%Y Gerhard Weikum
%Y Eva Kühn
%Y Rosario Pugliese
%Y Josef Kittler
%Y Jon M. Kleinberg
%Y Alfred Kobsa
%Y Friedemann Mattern
%Y John C. Mitchell
%Y Moni Naor
%Y Oscar Nierstrasz
%Y C. Pandu Rangan
%I Springer
%3 Coordination Models and Languages
%V LNCS-8459
%P 163-178
%8 2014-06-03
%D 2014
%R 10.1007/978-3-662-43376-8_11
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01290075/document
%2 https://inria.hal.science/hal-01290075/file/326181_1_En_11_Chapter.pdf
%L hal-01290075
%U https://inria.hal.science/hal-01290075
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-LNCS-8459