@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} }