@techreport{vanGlabbeek_Middelburg_20:tr,
    author           = {van Glabbeek, Robert and Middelburg, Kees},
    date             = {2020-5-2},
    institution      = {Data61, CSIRO},
    keywords         = {process algebra; guarded recursion; completeness; infinitary conditional logic},
    month            = may,
    numpages         = {9},
    paperurl         = {https://trustworthy.systems/publications/full_text/vanGlabbeek_Middelburg_20%3Atr.pdf},
    publisher        = {arXiv},
    series           = {arXiv:2005.00746},
    title            = {On Infinite Guarded Recursive Specifications in Process Algebra},
    year             = {2020}
  }