Ruggero Lanotte, Massimo Merro, Andrei Munteanu. A Process Calculus Approach to Correctness Enforcement of PLCs. In Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno, editors, Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020. Volume 2756 of CEUR Workshop Proceedings, pages 81-94, CEUR-WS.org, 2020. [doi]
Abstract is missing.