Better Late Than Never: A Fully Abstract Semantics for Classical Processes
, ,
[2018].
In CoRR abs/1811.02209.
@article{DBLP:journals/corr/abs-1811-02209, author = {Wen Kokke and Fabrizio Montesi and Marco Peressotti}, title = {Better Late Than Never: {A} Fully Abstract Semantics for Classical Processes}, journal = {CoRR}, volume = {abs/1811.02209}, year = {2018}, url = {http://arxiv.org/abs/1811.02209}, eprinttype = {arXiv}, eprint = {1811.02209}, timestamp = {Sat, 23 Jan 2021 01:12:33 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1811-02209.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }