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











