ICE-TCS seminar: Adrian Francalanza (University of Malta)
A Theory of Monitors
Date/Time: Friday, 18 November 2016, from 13:00 till about 13:00
Location: M117 - Reykjavík University
Speaker: Adrian Francalanza (University of Malta)
Title: A Theory of Monitors
Abstract: I will present the development a behavioural theory for monitors — software entities that passively analyse the runtime behaviour of systems so as to infer properties about them. I will first present a process-oriented language for describing monitors, together with an instrumentation relation that attaches monitors to piCalculus processes. This permits the formulation of monitored computations. I then identify contextual behavioural preorders that permit one to compare monitors according to criteria defined over monitored computations of piCalculus processes. I will then develop alternative monitor preorders that are, in some sense, more tractable and outline full-abstraction results for the latter alternative preorders with respect to the contextual preorders.