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
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

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