From distributed coordination to field calculus and aggregate computing

DOI10.1016/J.JLAMP.2019.100486MaRDI QIDQ2011213zbMATH OpenOpenAlexFDO

Authors Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini

Publication date 28 November 2019

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11585/715997

zbMATH Keywords

aggregate computingdistributed systemsfield calculusspatial computing

Mathematics Subject Classification ID

Distributed systems (68M14) Functional programming and lambda calculus (68N18)

Recommendations

• A higher-order calculus of computational fields
• Asynchronous distributed execution of fixpoint-based computational fields
• Coordination Models and Languages
• Field-Based Coordination for Pervasive Multiagent Systems
• A coordination approach to mobile components

Cites work

• A higher-order calculus of computational fields
• A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
• Asynchronous distributed execution of fixpoint-based computational fields
• Consensus and Cooperation in Networked Multi-Agent Systems
• Control of Minimally Persistent Leader-Remote-Follower and Coleader Formations in the Plane
• Engineering Self-Organising Systems
• Foundations for ensemble modeling -- the Helena approach. Handling massively distributed systems with elaborate ensemble architectures
• From tuple spaces to tuple centres
• Generative communication in Linda
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 1952776 (Why is no real title available?)
• scientific article; zbMATH DE number 1424227 (Why is no real title available?)
• scientific article; zbMATH DE number 3280068 (Why is no real title available?)
• Integral quadratic constraint approach vs. multiplier approach
• Lyapunov stability theory of nonsmooth systems
• On the collective sort problem for distributed tuple spaces
• Passivity as a Design Tool for Group Coordination
• Passivity-based control and estimation in networked robotics
• Self-stabilization
• Stabilisation of infinitesimally rigid formations of multi-robot networks
• The Byzantine Generals Problem
• The small-gain theorem, the passivity theorem and their equivalence
• Type-based self-stabilisation for computational fields

Cited in

(7)

• Asynchronous distributed execution of fixpoint-based computational fields
• A higher-order calculus of computational fields
• Time-fluid field-based coordination through programmable distributed schedulers
• Field-based coordination with the share operator
• Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
• On a higher-order calculus of computational fields
• Programming distributed collective processes in the exchange calculus

Describes a project that uses

Uses Software

• ML
• Moise+
• Scala
• KLAIM
• Linda
• SDEF
• Featherweight Java
• TAG
• SCEL
• Apache Spark
• DEECO
• Helena
• ReSpecT
• Apache Kafka
• Protelis

This page was built for publication: From distributed coordination to field calculus and aggregate computing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011213)