A process calculus approach to correctness enforcement of PLCs (full version)

Ruggero Lanotte, Massimo Merro, Andrei Munteanu

We define a simple process calculus, based on Hennessy and Regan's Timed Process Language, for specifying networks of communicating programmable logic controllers (PLCs) enriched w…