Better late than never: a fully-abstract semantics for classical processes
Wen Kokke, Fabrizio Montesi, Marco Peressotti
[2019].
In Proc. ACM Program. Lang. 3.
@article{DBLP:journals/pacmpl/KokkeMP19, author = {Wen Kokke and Fabrizio Montesi and Marco Peressotti}, title = {Better late than never: a fully-abstract semantics for classical processes}, journal = {Proc. {ACM} Program. Lang.}, volume = {3}, number = {{POPL}}, pages = {24:1--24:29}, year = {2019}, url = {https://doi.org/10.1145/3290337}, doi = {10.1145/3290337}, timestamp = {Wed, 17 Feb 2021 08:54:04 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/KokkeMP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
A PDF is available (possibly a preprint):