Behavioural Conformances based on Lax Couplings (bibtex)

by Paul Wild and Lutz Schröder

Reference:

Paul Wild and Lutz Schröder: Behavioural Conformances based on Lax Couplings, In 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025, pp. 790–803, IEEE, 2025.

Bibtex Entry:

@inproceedings{DBLP:conf/lics/WildS25,
  author       = {Paul Wild and
                  Lutz Schr{\"{o}}der},
  title        = {Behavioural Conformances based on Lax Couplings},
  booktitle    = {40th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2025, Singapore, June 23-26, 2025},
  pages        = {790--803},
  publisher    = {{IEEE}},
  year         = {2025},
  url          = {https://doi.org/10.1109/LICS65433.2025.00065},
  doi          = {10.1109/LICS65433.2025.00065},
  timestamp    = {Tue, 21 Oct 2025 20:15:58 +0200},
  biburl       = {https://dblp.org/rec/conf/lics/WildS25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}