Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23262Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Francalanza, Adrian | - |
| dc.date.accessioned | 2017-10-31T15:22:59Z | - |
| dc.date.available | 2017-10-31T15:22:59Z | - |
| dc.date.issued | 2017 | - |
| dc.identifier.citation | Francalanza, A. (2017). Consistently-detecting monitors. 28th International Conference on Concurrency Theory, Berlin. 1-16. | en_GB |
| dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/23262 | - |
| dc.description.abstract | We study a contextual definition for deterministic monitoring based on consistent detections. It is defined in terms of the observed behaviour of the monitor when instrumented over arbitrary systems. We give an alternative, coinductive definition based on controllability which does not rely on system quantifications, and show that it is fully-abstract wrt. the former definition. We then develop a symbolic counterpart to the controllability definition to facilitate an automated analysis for controllable monitors involving data. | en_GB |
| dc.language.iso | en | en_GB |
| dc.publisher | Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik | en_GB |
| dc.rights | info:eu-repo/semantics/openAccess | en_GB |
| dc.subject | Computer science | en_GB |
| dc.subject | Object-oriented methods (Computer science) | en_GB |
| dc.subject | Multiparadigm programming (Computer science) | en_GB |
| dc.title | Consistently-detecting monitors | en_GB |
| dc.type | conferenceObject | en_GB |
| dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
| dc.bibliographicCitation.conferencename | 28th International Conference on Concurrency Theory | en_GB |
| dc.bibliographicCitation.conferenceplace | Berlin, Germany, 5-8/09/2017 | en_GB |
| dc.description.reviewed | peer-reviewed | en_GB |
| dc.identifier.doi | 10.4230/LIPIcs.CONCUR.2017.8 | - |
| Appears in Collections: | Scholarly Works - FacICTCS | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| concur17.pdf | 259.16 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.