On Runtime Enforcement via Suppressions. Aceto, L., Cassar, I., Francalanza, A., & Ingólfsdóttir, A. In 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pages 34:1–34:17, 2018.
bibtex   
@inproceedings{aceto_runtime_2018,
	author = {Aceto, Luca and Cassar, Ian and Francalanza, Adrian and Ing{\'o}lfsd{\'o}ttir, Anna},
	booktitle = {29th {International} {Conference} on {Concurrency} {Theory}, {CONCUR} 2018, {September} 4-7, 2018, {Beijing}, {China}},
	pages = {34:1--34:17},
	title = {On {Runtime} {Enforcement} via {Suppressions}},
	year = {2018}}

Downloads: 0