A calculus of computation fields


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
2013

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

Journals & Series

Tags:

Publications

Publications / Views

Home

Clouds
•  tags  •  authors  •  editors  •  journals  

Year
 2023    2022    2021    2020    2019    2018    2017    2016    2015    2014–1927

Sort
•  in journal  •  in proc  •  chapters  •  books  •  edited  •  spec issues  •  editorials  •  entries  •  manuals  •  tech reps  •  phd th  •  others  

Status
•  online  •  in press  •  proof  •  camera-ready  •  revised  •  accepted  •  revision  •  submitted  •  draft  •  note  

Services
•  ACM Digital Library  •  DBLP  •  IEEE Xplore  •  IRIS  •  PubMed  •  Google Scholar  •  Scopus  •  Semantic Scholar  •  Web of Science  •  DOI  

Publication

— authors

Mirko Viroli, Ferruccio Damiani, Jacob Beal

— editors

Carlos Canal, Massimo Villari

— status

published

— sort

paper in proceedings

— publication date

2013

— volume

Advances in Service-Oriented and Cloud Computing

— series

Communications in Computer and Information Science

— volume

393

— chapter

10

— pages

114-128

— address

Berlin, Germany

— location

Malaga, Spain

URLs

original page  |  original PDF

identifiers

— DOI

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

— online ISBN

978-3-642-45363-2

notes

— note

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