Benedict Bunting : Publications
Click here to download all publications in a single bibtex file
@inproceedings{DBLP:conf/lics/BuntingM24, title = "Contextual Equivalence for State and Control via Nested Data", author = "Benedict Bunting and Andrzej S. Murawski", year = "2024", booktitle = "Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024", editor = "Pawel Sobocinski and Ugo Dal Lago and Javier Esparza", pages = "19:1--19:14", publisher = "{ACM}", url = "https://doi.org/10.1145/3661814.3662109", doi = "10.1145/3661814.3662109", }
@inproceedings{DBLP:conf/lics/BuntingM23, title = "Operational Algorithmic Game Semantics", author = "Benedict Bunting and Andrzej S. Murawski", year = "2023", booktitle = "38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2023, Boston, MA, USA, June 26-29, 2023", pages = "1--13", publisher = "{IEEE}", url = "https://doi.org/10.1109/LICS56636.2023.10175791", doi = "10.1109/LICS56636.2023.10175791", }