Ozone: Fully Out-of-Order Choreographies (Artifact)
Dan Plyukhin, Marco Peressotti, Fabrizio Montesi
[2024].
In Dagstuhl Artifacts Ser. 10.
@article{DBLP:journals/darts/PlyukhinPM24, author = {Dan Plyukhin and Marco Peressotti and Fabrizio Montesi}, title = {Ozone: Fully Out-of-Order Choreographies (Artifact)}, journal = {Dagstuhl Artifacts Ser.}, volume = {10}, number = {2}, pages = {16:1--16:2}, year = {2024}, url = {https://doi.org/10.4230/DARTS.10.2.16}, doi = {10.4230/DARTS.10.2.16}, timestamp = {Thu, 12 Sep 2024 13:29:32 +0200}, biburl = {https://dblp.org/rec/journals/darts/PlyukhinPM24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }