@inproceedings{Hfner_15,
    address          = {Fukuoka, Japan},
    author           = {H\"ofner, Peter},
    booktitle        = {Forum “Math-for-Industry” 2015},
    month            = oct,
    pages            = {31--33},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8975.pdf},
    title            = {Using Process Algebra to Design Better Protocols (abstract)},
    year             = {2015}
  }