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

Displayed time zone: Belfast change

13:30 - 15:10
Session 2VORTEX at Bouzy
Chair(s): Radu Grigore University of Kent
13:30
45m
Talk
Invited talk: Monitoring Asynchronous Communications (in Clojure)
VORTEX
Sung-Shik Jongmans Open University of the Netherlands
14:15
30m
Talk
A Field Calculus Implementation of Spatial Logic
VORTEX
P: Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Volker Stolz Høgskulen på Vestlandet, Mirko Viroli University of Bologna
Pre-print