Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

A Calculus of Self-stabilising Computational Fields

Contributo in Atti di convegno
Data di Pubblicazione:
2014
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.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Computational fields; Type system
Elenco autori:
Mirko Viroli;Ferruccio Damiani
Autori di Ateneo:
DAMIANI Ferruccio
Link alla scheda completa:
https://iris.unito.it/handle/2318/150059
Link al Full Text:
https://iris.unito.it/retrieve/handle/2318/150059/151517/main-open-access.pdf
Titolo del libro:
Lecture Notes in Computer Science, Coordination Models and Languages
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://link.springer.com/chapter/10.1007%2F978-3-662-43376-8_11
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0