A Calculus of Self-stabilising Computational Fields


Mirko Viroli, Ferruccio Damiani

eva Kühn, Rosario Pugliese (eds.)
Coordination Models and Languages, pages 163–178
Lecture Notes in Computer Science 8459
Springer-Verlag
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

Events

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

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

Mirko Viroli, Ferruccio Damiani

— editors

eva Kühn, Rosario Pugliese

— status

published

— sort

paper in proceedings

— publication date

2014

— volume

Coordination Models and Languages

— series

Lecture Notes in Computer Science

— volume

8459

— pages

163–178

URLs

original page

identifiers

— DOI

10.1007/978-3-662-43376-8_11

— print ISSN

0302-9743

notes

— note

Best paper award at Discotec 2014!

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY