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

Wen Kokke, Fabrizio Montesi, Marco Peressotti (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics