Language Better Late Than Never: A Fully Abstract Semantics for Classical Processes June 11, 2020POPL 2019
