Please use this identifier to cite or link to this item:
Title: A theory of monitors
Authors: Francalanza, Adrian
Keywords: Computer monitors
Object monitors (Computer software)
Computer networks -- Monitoring
Issue Date: 2016
Publisher: Springer, Berlin, Heidelberg
Citation: Francalanza, A. (2016). A theory of monitors. International Conference on Foundations of Software Science and Computation Structures, Eindhoven. 145-161.
Abstract: We develop a behavioural theory for monitors — software entities that passively analyse the runtime behaviour of systems so as to infer properties about them. First, we extend the monitor language and instrumentation relation of [17] to handle piCalculus process monitoring. We then identify contextual behavioural preorders that allow us to re-late monitors according to criteria defined over monitored executions of piCalculus processes. Subsequently, we develop alternative monitor pre-orders that are more tractable, and prove full-abstraction for the latter alternative preorders with respect to the contextual preorders.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
fossacs16.pdf425.57 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.