Francesco Di Cosmo. Verification of Prev-Free Communicating Datalog Programs. In Agostino Dovier, Andrea Formisano 0001, editors, Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
@inproceedings{Cosmo23,
title = {Verification of Prev-Free Communicating Datalog Programs},
author = {Francesco Di Cosmo},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/short2.pdf},
researchr = {https://researchr.org/publication/Cosmo23},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023},
editor = {Agostino Dovier and Andrea Formisano 0001},
volume = {3428},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}