ICE-TCS seminar: Adrian Francalanza (University of Malta)

 A Theory of Monitors

  • 18.11.2016, 13:00 - 14:00


ICE-TCS Seminar

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

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.