@inproceedings{HMS21,
  author    = {Daniel Hausmann and
               Stefan Milius and
               Lutz Schr{\"{o}}der},
  editor    = {Filippo Bonchi and
               Simon J. Puglisi},
  title     = {A Linear-Time Nominal {\(\mu\)}-Calculus with Name Allocation},
  booktitle = {46th International Symposium on Mathematical Foundations of Computer
               Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},
  series    = {LIPIcs},
  volume    = {202},
  pages     = {58:1--58:18},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021},
  url       = {https://doi.org/10.4230/LIPIcs.MFCS.2021.58},
  doi       = {10.4230/LIPIcs.MFCS.2021.58},
  timestamp = {Wed, 25 Aug 2021 17:11:18 +0200}
}

{"_id":"kmTauiv4vwWWJbSed","bibbaseid":"hausmann-milius-schrder-alineartimenominalcalculuswithnameallocation-2021","author_short":["Hausmann, D.","Milius, S.","Schröder, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Hausmann"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Milius"],"suffixes":[]},{"firstnames":["Lutz"],"propositions":[],"lastnames":["Schröder"],"suffixes":[]}],"editor":[{"firstnames":["Filippo"],"propositions":[],"lastnames":["Bonchi"],"suffixes":[]},{"firstnames":["Simon","J."],"propositions":[],"lastnames":["Puglisi"],"suffixes":[]}],"title":"A Linear-Time Nominal \\(μ\\)-Calculus with Name Allocation","booktitle":"46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia","series":"LIPIcs","volume":"202","pages":"58:1–58:18","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2021","url":"https://doi.org/10.4230/LIPIcs.MFCS.2021.58","doi":"10.4230/LIPIcs.MFCS.2021.58","timestamp":"Wed, 25 Aug 2021 17:11:18 +0200","bibtex":"@inproceedings{HMS21,\n author = {Daniel Hausmann and\n Stefan Milius and\n Lutz Schr{\\\"{o}}der},\n editor = {Filippo Bonchi and\n Simon J. Puglisi},\n title = {A Linear-Time Nominal {\\(\\mu\\)}-Calculus with Name Allocation},\n booktitle = {46th International Symposium on Mathematical Foundations of Computer\n Science, {MFCS} 2021, August 23-27, 2021, Tallinn, Estonia},\n series = {LIPIcs},\n volume = {202},\n pages = {58:1--58:18},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2021},\n url = {https://doi.org/10.4230/LIPIcs.MFCS.2021.58},\n doi = {10.4230/LIPIcs.MFCS.2021.58},\n timestamp = {Wed, 25 Aug 2021 17:11:18 +0200}\n}\n\n","author_short":["Hausmann, D.","Milius, S.","Schröder, L."],"editor_short":["Bonchi, F.","Puglisi, S. J."],"key":"HMS21","id":"HMS21","bibbaseid":"hausmann-milius-schrder-alineartimenominalcalculuswithnameallocation-2021","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.MFCS.2021.58"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["linear","time","nominal","calculus","name","allocation","hausmann","milius","schröder"],"title":"A Linear-Time Nominal \\(μ\\)-Calculus with Name Allocation","year":2021}