Behavioural Preorders via Graded Monads (bibtex)

by Chase Ford, Stefan Milius and Lutz Schröder

Reference:

Chase Ford, Stefan Milius and Lutz Schröder: Behavioural Preorders via Graded Monads, Chapter in , Association for Computing Machinery, 2021.

Bibtex Entry:

@inbook{FordEA21,
author = {Ford, Chase and 
          Milius, Stefan and 
          Schr{\"{o}}der, Lutz},
title = {Behavioural Preorders via Graded Monads},
year = {2021},
isbn = {9781665448956},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1109/LICS52264.2021.9470517},
booktitle = {Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science},
articleno = {12},
numpages = {13}
}