Weighted and Branching Bisimilarities from Generalized Open Maps (bibtex)

Reference:

Jérémy Dubut and Thorsten Wißmann: Weighted and Branching Bisimilarities from Generalized Open Maps, In Proc. 26th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2023), Lecture Notes in Computer Science, vol. 13992, pp. 308–327, Springer, 2023.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{DW23,
  author       = {J{\'{e}}r{\'{e}}my Dubut and
                  Thorsten Wi{\ss}mann},
  hideeditor       = {Orna Kupferman and
                  Pawel Sobocinski},
  title        = {Weighted and Branching Bisimilarities from Generalized Open Maps},
  booktitle = {Proc.~26th International Conference on Foundations of Software
                  Science and Computation Structures (FoSSaCS 2023)},
  fullbooktitle    = {Foundations of Software Science and Computation Structures - 26th
                  International Conference (FoSSaCS 2023)},
  preprinturl = {http://arxiv.org/abs/2301.07004},
  series       = {Lecture Notes in Computer Science},
  volume       = {13992},
  pages        = {308--327},
  publisher    = {Springer},
  year         = {2023},
  month = {4},
  doi          = {10.1007/978-3-031-30829-1_15},
}