A core calculus of computational fields


Mirko Viroli

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.

Pubblicazioni

Presentazioni

Presentazioni / Viste

Home

Nuvole
•  tag  •  oratori  •  autori  

Anno
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1992

Tipo
•  presentazioni  •  invitate  •  seminari  •  lezioni  •  tutorial  •  progetto  •  informali  •  uso interno  •  tavola rotonda  •  dottorato  •  poster  •  altre  

Presentazione

— oratori/oratrici

— autori/autrici

Mirko Viroli, Ferruccio Damiani, Jacob Beal

— tipo

presentazione

— lingua

wgb.gif

— dove

Malaga, Spagna

— quando

11/09/2013

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