A Calculus of Self-stabilising Computational Fields


Mirko Viroli, Ferruccio Damiani

Coordination Models and Languages, pages 163-178
Lecture Notes in Computer Science 8459,  2014
Springer-Verlag
eva Kühn, Rosario Pugliese (eds.)
Best paper award at Discotec 2014!

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.

(keywords) Spatial Computing, Self-Organising Coordination, Core Calculus
 @inCollection{VD-COORD2014-LNCS2014,
author = {Viroli, Mirko and Ferruccio Damiani},
title = {A Calculus of Self-stabilising Computational Fields},
  booktitle = {Coordination Languages and Models},
  editor = {eva K{\"u}hn and
               Rosario Pugliese}
,
volume =    8459,
  series =    {LNCS},
  year =      2014,
  month =     jun,
  publisher = {Springer-Verlag},
  pages =     {163--178},
note = {Proceedings of the 16th Conference on Coordination Models and Languages (Coordination 2014), Berlin (Germany), 3-5 June},
  issn =      {0302-9743},
  doi={10.1007/978-3-662-43376-8\_11}

Events

  • 16th International Conference on Coordination Models and Languages (COORDINATION 2014) — 03/06/2014–06/06/2014

Tags:

Publication

— authors

Mirko Viroli, Ferruccio Damiani

— editors

eva Kühn, Rosario Pugliese

— status

published

— sort

paper in proceedings

Venue

— volume

Coordination Models and Languages

— series

Lecture Notes in Computer Science

— volume

8459

— pages

163-178

— publication date

2014

Identifiers

— DOI

10.1007/978-3-662-43376-8

— print ISSN

0302-9743

BibTeX

— BibTeX ID
SpatialCoordination2014
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY