A Calculus of Computational Fields

Mirko Viroli; Ferruccio Damiani; Jacob Beal

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

Back

Book chapter

Peer reviewed

A Calculus of Computational Fields

Mirko Viroli, Ferruccio Damiani and Jacob Beal

Advances in Service-Oriented and Cloud Computing, pp.114-128

Communications in Computer and Information Science, v. 393, Springer

2013

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

View Online

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.

Evaluation Tree

Operational Semantic

Pervasive Computing

Sensor Network

Tree Environment

Details

Title: Subtitle: A Calculus of Computational Fields
Creators: Mirko Viroli - University of Bologna
Ferruccio Damiani - University of Turin
Jacob Beal - RTX
Resource Type: Book chapter
Publication Details: Advances in Service-Oriented and Cloud Computing, pp.114-128
Publisher: Springer; Heidelberg
Series: Communications in Computer and Information Science; v. 393
DOI: 10.1007/978-3-642-45364-9_11
eISSN: 1865-0937
ISSN: 1865-0929
Language: English
Date published: 2013
Academic Unit: Electrical and Computer Engineering
Record Identifier: 9984627288502771

Metrics

1 Record Views