What packets may come: automata for network monitoring.

Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter

Browse the full POPL paper archive.