Mirko Viroli, Ferruccio Damiani, Jacob Beal

Advances in Service-Oriented and Cloud Computing, cap. 10, pp. 114-128
Communications in Computer and Information Science 393,  2013
Springer Berlin Heidelberg, Berlin, Germany
Carlos Canal, Massimo Villari (a cura di)
Pre-proceedings available at: {http://foclasa.lcc.uma.es/documents/foclasa2013-preproceedings.pdf}

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.

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

Riviste & collane

Tags:

Pubblicazione

— autori/autrici

Mirko Viroli, Ferruccio Damiani, Jacob Beal

— a cura di

Carlos Canal, Massimo Villari

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Advances in Service-Oriented and Cloud Computing

— collana

Communications in Computer and Information Science

— volume

393

— capitolo

10

— pagine

114-128

— data di pubblicazione

2013

URL

pagina originale  |  PDF originale

Identificatori

— DOI

10.1007/978-3-642-45364-9_11

— online ISBN

978-3-642-45363-2

BibTeX

— BibTeX ID
FieldCalculusFOCLASA2013
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY