BibTeX record journals/corr/abs-0911-1862

• > Home > journals/corr/abs-0911-1862

@inproceedings{DBLP:journals/corr/abs-0911-1862,
  author       = {Luca Aceto and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir and
                  Joshua Sack},
  editor       = {Sibylle B. Fr{\"{o}}schle and
                  Daniele Gorla},
  title        = {Characteristic Formulae for Fixed-Point Semantics: {A} General Framework},
  booktitle    = {Proceedings 16th International Workshop on Expressiveness in Concurrency,
                  {EXPRESS} 2009, Bologna, Italy, 5th September 2009},
  series       = {{EPTCS}},
  volume       = {8},
  pages        = {1--15},
  year         = {2009},
  url          = {https://doi.org/10.4204/EPTCS.8.1},
  doi          = {10.4204/EPTCS.8.1},
  timestamp    = {Thu, 14 Oct 2021 09:15:37 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-1862.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}