Better late than never: a fully-abstract semantics for classical processes

Wen Kokke, Fabrizio Montesi, Marco Peressotti
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
doi:10.1145/3290337 fatcat:27wszsze2bdxxd6bvoh3qahqtu