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