Contextual Equivalence for State and Control via Nested Data
Benedict Bunting and Andrzej S. Murawski
Book Title
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
Year
2024