Fri 19 Jul 2019 14:15 - 14:45 at Bouzy - Session 2 Chair(s): Radu Grigore

The field calculus is a programming language which allows to abstract a collection of devices into a single computing machine carrying out a distributed computational process: in this way, the details of behaviour, position and number of devices are largely abstracted away, to be replaced with a space-filling computational environment. In this paper we show that the field calculus is a convenient language for distributed monitoring, by providing a natural translation of properties in the Spatial Logic of Closure Spaces (SLCS) into a field calculus program monitoring them. The translated monitor runs using local memory, message size and computation time that are all linear in the size of the formula. We conclude by providing examples showcasing the expressiveness of this logic for properties of distributed systems.

Fri 19 Jul

vortex-2019-papers
13:30 - 15:10: VORTEX 2019 - Session 2 at Bouzy
Chair(s): Radu GrigoreUniversity of Kent
vortex-2019-papers13:30 - 14:15
Talk
Sung-Shik JongmansOpen University of the Netherlands
vortex-2019-papers14:15 - 14:45
Talk
Giorgio AudritoUniversità di Torino, Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna