From distributed coordination to field calculus and aggregate computing
type: Item
instance of: scholarly article
title: From distributed coordination to field calculus and aggregate computing
zbMATH Open document ID: 1435.68049
author: Mirko Viroli
author: Jacob Beal
author: Ferruccio Damiani
author: Giorgio Audrito
author: Roberto Casadei
author: Danilo Pianini
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2019-11-28T00:00:00Z
full work available at URL: http://hdl.handle.net/11585/715997
Mathematics Subject Classification ID: 68M14
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 7138319
zbMATH Keywords: distributed systems
zbMATH Keywords: aggregate computing
zbMATH Keywords: field calculus
zbMATH Keywords: spatial computing
describes a project that uses: Moise+
describes a project that uses: ML
describes a project that uses: Linda
describes a project that uses: SDEF
describes a project that uses: TAG
describes a project that uses: DEECO
describes a project that uses: Helena
describes a project that uses: Protelis
describes a project that uses: Apache Kafka
describes a project that uses: ReSpecT
describes a project that uses: KLAIM
describes a project that uses: Scala
describes a project that uses: Featherweight Java
describes a project that uses: SCEL
describes a project that uses: Apache Spark
MaRDI profile type: Publication
OpenAlex ID: W2972522875
cites work: Generative communication in Linda
cites work: From tuple spaces to tuple centres
cites work: Foundations for Ensemble Modeling – The Helena Approach
cites work: A Higher-Order Calculus of Computational Fields
cites work: On the collective sort problem for distributed tuple spaces
cites work: Q4414238
cites work: Engineering Self-Organising Systems
cites work: Self-stabilization
cites work: Q2980978
cites work: Type-based Self-stabilisation for Computational Fields
cites work: Q5565113
cites work: Q3126969
cites work: Lyapunov stability theory of nonsmooth systems
cites work: Passivity as a Design Tool for Group Coordination
cites work: Passivity-based control and estimation in networked robotics
cites work: The small-gain theorem, the passivity theorem and their equivalence
cites work: Control of Minimally Persistent Leader-Remote-Follower and Coleader Formations in the Plane
cites work: Stabilisation of infinitesimally rigid formations of multi-robot networks
cites work: Consensus and Cooperation in Networked Multi-Agent Systems
cites work: A Lyapunov formulation of the nonlinear small-gain theorem for interconnected ISS systems
cites work: Integral quadratic constraint approach vs. multiplier approach
cites work: Q4945434
cites work: The Byzantine Generals Problem
DOI: 10.1016/J.JLAMP.2019.100486
description: scientific article; zbMATH DE number 7138319