@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",
}