A calculus of computation fields

   page       BibTeX_logo.png   
Mirko Viroli, Ferruccio Damiani, Jacob Beal
Carlos Canal, Massimo Villari (eds.)
Advances in Service-Oriented and Cloud Computing, chapter 10, pages 114-128
Communications in Computer and Information Science 393
Springer Berlin Heidelberg, Berlin, Germany

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.

keywordsSpatial Computing, Self-Organising Coordination, Core Calculus
journal or series
book Communications in Computer and Information Science (CCIS)
works as
reference publication for talk
page_white_powerpointA core calculus of computational fields (11/09/2013) — Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)