Author:
Aceto Luca,Cassar Ian,Francalanza Adrian,Ingólfsdóttir Anna
Publisher
Springer International Publishing
Reference34 articles.
1. Abramsky, S.: Observation equivalence as a testing equivalence. Theoret. Comput. Sci. 53, 225–241 (1987).
https://doi.org/10.1016/0304-3975(87)90065-X
2. Lecture Notes in Computer Science;L Aceto,2018
3. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Kjartansson, S.Ö.: Determinizing monitors for HML with recursion. arXiv preprint (2016)
4. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Lehtinen, K.: Adventures in monitorability: from branching to linear time and back again. Proc. ACM Program. Lang. 3(POPL), 52:1–52:29 (2019).
https://doi.org/10.1145/3290365
.
http://doi.acm.org/10.1145/3290365
5. Aceto, L., Cassar, I., Francalanza, A., Ingólfsdóttir, A.: On runtime enforcement via suppressions. In: 29th International Conference on Concurrency Theory, CONCUR 2018, Beijing, China, 4–7 September 2018, pp. 34:1–34:17 (2018).
https://doi.org/10.4230/LIPIcs.CONCUR.2018.34
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Comparing controlled system synthesis and suppression enforcement;International Journal on Software Tools for Technology Transfer;2021-06-01