Type-based Self-stabilisation for Computational Fields

DOI10.2168/LMCS-11(4:21)2015zbMath1448.68336arXiv1509.05659OpenAlexW2230770203MaRDI QIDQ3460426

Ferruccio Damiani, Mirko Viroli

Publication date: 7 January 2016

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1509.05659

zbMATH Keywords

operational semanticstype systemtype-based analysistype soundnessspatial computingcomputational fieldcore calculusrefinement type

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Unnamed Item ⋮ A Higher-Order Calculus of Computational Fields ⋮ From distributed coordination to field calculus and aggregate computing

Uses Software

• APMC
• Featherweight Java

This page was built for publication: Type-based Self-stabilisation for Computational Fields