What packets may come: automata for network monitoring (bibtex)
by Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter
Reference:
What packets may come: automata for network monitoring (Karthikeyan Bhargavan, Satish Chandra, Peter J. McCann, Carl A. Gunter), In 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'01), 2001.
Bibtex Entry:
@inproceedings{DBLP:conf/popl/BhargavanCMG01,
  author    = {Karthikeyan Bhargavan and
               Satish Chandra and
               Peter J. McCann and
               Carl A. Gunter},
  title     = {What packets may come: automata for network monitoring},
  booktitle = {28th ACM SIGPLAN-SIGACT
               Symposium on Principles of Programming Languages (POPL'01)},
  year      = {2001},
  pages     = {206-219},
url="pubs/what-packets-may-come-popl01.pdf",
pdf="pubs/what-packets-may-come-popl01.pdf",

}