Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum (bibtex)

by Ulrich Dorsch, Stefan Milius and Lutz Schröder

Reference:

Ulrich Dorsch, Stefan Milius and Lutz Schröder: Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum, In Wan J. Fokkink, Rob van Glabbeek, eds.: 30th International Conference on Concurrency Theory (CONCUR), Leibniz International Proceedings in Informatics (LIPIcs), vol. 140, pp. 36:1–36:16, Schloss Dagstuhl, 2019.

Bibtex Entry:

@inproceedings{DorschEA19,
  author    = {Ulrich Dorsch and
               Stefan Milius and
               Lutz Schr{\"{o}}der},
  editor    = {Wan J. Fokkink and
               Rob van Glabbeek},
  title     = {Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum},
  booktitle = {30th International Conference on Concurrency Theory (CONCUR)},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume    = {140},
  pages     = {36:1--36:16},
  OPTpublisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  publisher = {Schloss Dagstuhl},
  year      = {2019},
  url       = {https://doi.org/10.4230/LIPIcs.CONCUR.2019.36},
  doi       = {10.4230/LIPIcs.CONCUR.2019.36},
  timestamp = {Mon, 18 May 2020 10:45:19 +0200},
  biburl    = {https://dblp.org/rec/conf/concur/DorschMS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}