A calculus of computation fields
 |
 |
 |
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.},
address = {Berlin, Germany},
apice = {FieldcalculusFoclasa2013},
author = {Viroli, Mirko and Ferruccio Damiani and Jacob Beal},
booktitle = {Advances in Service-Oriented and Cloud Computing},
chapter = 10,
doi = {10.1007/978-3-642-45364-9_11},
editor = {Carlos Canal and Massimo Villari},
eisbn = {978-3-642-45363-2},
keywords = {Spatial Computing, Self-Organising Coordination, Core Calculus},
location = {Malaga, Spain},
note = {Pre-proceedings available at: {http://foclasa.lcc.uma.es/documents/foclasa2013-preproceedings.pdf}},
numpages = 15,
pages = {114--128},
publisher = {Springer Berlin Heidelberg},
series = {Communications in Computer and Information Science},
title = {A calculus of computation fields},
url = {http://link.springer.com/book/10.1007/978-3-642-45364-9},
urlpdf = {http://link.springer.com/content/pdf/10.1007%2F978-3-642-45364-9_11.pdf},
volume = 393,
year = 2013
}