Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23410| 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. |
| URI: | https://www.um.edu.mt/library/oar//handle/123456789/23410 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| fossacs16.pdf | 425.57 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.