Reference:
Daniel Hausmann, Stefan Milius and Lutz Schröder: A Linear-Time Nominal µ-Calculus with Name Allocation, In Filippo Bonchi, Simon Puglisi, eds.: Proc. 46th International Symposium on Mathematical Foundations of Computer Science (MFCS), LIPIcs, vol. 202, pp. 58:1–58:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.
Bibtex Entry:
@string{lipics="LIPIcs"}
@string{dagstuhl="Schloss Dagstuhl – Leibniz-Zentrum für Informatik"}
@InProceedings{hms21,
author = {Hausmann, Daniel and Milius, Stefan and Schr\"oder, Lutz},
title = {A Linear-Time Nominal µ-Calculus with Name Allocation},
OPTcrossref = {},
OPTkey = {},
booktitle = {Proc.~46th International Symposium on Mathematical Foundations of Computer Science (MFCS)},
year = {2021},
editor = {Bonchi, Filippo and Puglisi, Simon},
volume = {202},
OPTnumber = {},
series = lipics,
pages = {58:1--58:18},
OPTmonth = {},
OPTaddress = {},
OPTorganization = {},
publisher = dagstuhl,
OPTnote = {{T}o appear},
OPTannote = {}
}