A type-sound calculus of computational fields

@article{Damiani2016ATC,
  title={A type-sound calculus of computational fields},
  author={F. Damiani and Mirko Viroli and J. Beal},
  journal={Sci. Comput. Program.},
  year={2016},
  volume={117},
  pages={17-44}
}
A number of recent works have investigated the notion of "computational fields" as a means of coordinating systems in distributed, dense and dynamic 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… Expand
30 Citations
Space-Time Universality of Field Calculus
  • 14
  • PDF
From distributed coordination to field calculus and aggregate computing
  • 13
  • PDF
A Higher-Order Calculus of Computational Fields
  • 29
  • PDF
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields
  • 21
  • PDF
Run-Time Management of Computation Domains in Field Calculus
  • 12
Self-Adaptation to Device Distribution Changes
  • 11
  • PDF
Towards a Foundational API for Resilient Distributed Systems Design
  • 14
  • PDF
Aggregate Programming: From Foundations to Applications
  • 12
  • PDF
...
1
2
3
...

References

SHOWING 1-10 OF 91 REFERENCES
A Calculus of Computational Fields
  • 38
  • PDF
Operational semantics of proto
  • 13
  • PDF
Core operational semantics of Proto
  • 14
  • PDF
Building Blocks for Aggregate Programming of Self-Organising Applications
  • J. Beal, Mirko Viroli
  • Computer Science
  • 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems Workshops
  • 2014
  • 46
  • PDF
Protelis: practical aggregate programming
  • 81
  • PDF
Pure bigraphs: Structure and dynamics
  • R. Milner
  • Computer Science, Mathematics
  • Inf. Comput.
  • 2006
  • 175
  • PDF
...
1
2
3
4
5
...