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 Computational Fields

Contributo in Atti di convegno
Data di Pubblicazione:
2013
Abstract:
A number of recent works have investigated the notion of “computational fields” as a means of coordinating systems in distributed, dense and mobile environments such as pervasive computing, sensor networks, and robot swarms. We introduce a minimal core calculus meant to capture the key ingredients of languages that make use of computational fields: functional composition of fields, functions over fields, evolution of fields over time, construction of fields of values from neighbours, and restriction of a field computation to a sub-region of the network. This calculus can act as a core for actual implementation of coordination languages and models, as well as pave the way towards formal analysis of properties concerning expressiveness, self-stabilisation, topology independence, and relationships with the continuous space-time semantics of spatial computations.
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Mirko Viroli; Ferruccio Damiani; Jacob Beal
Autori di Ateneo:
DAMIANI Ferruccio
Link alla scheda completa:
https://iris.unito.it/handle/2318/147914
Titolo del libro:
Communications in Computer and Information ScienceAdvances in Service-Oriented and Cloud Computing
Pubblicato in:
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
Journal
COMMUNICATIONS IN COMPUTER AND INFORMATION SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://foclasa13.lcc.uma.es/; http://link.springer.com/chapter/10.1007%2F978-3-642-45364-9_11
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0