A Linear-Time Nominal $\mu$-Calculus with Name Allocation (bibtex)

by Daniel Hausmann, Stefan Milius and Lutz Schröder

Reference:

Daniel Hausmann, Stefan Milius and Lutz Schröder: A Linear-Time Nominal $\mu$-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, dagstuhl, 2021.

Bibtex Entry:

@InProceedings{hms21, author = {Hausmann, Daniel and Milius, Stefan and Schr\"oder, Lutz}, title = {A Linear-Time Nominal $\mu$-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 = {} }

Powered by bibtexbrowser