Wen Kokke, Fabrizio Montesi, Marco Peressotti
Better late than never: a fully-abstract semantics for classical processes
POPL, 2019.
@article{POPL-2019-KokkeMP, author = "Wen Kokke and Fabrizio Montesi and Marco Peressotti", doi = "10.1145/3290337", journal = "{Proceedings of the ACM on Programming Languages}", number = "POPL", pages = "29", publisher = "{ACM}", title = "{Better late than never: a fully-abstract semantics for classical processes}", volume = 3, year = 2019, }