TY  - RPRT
TI  - Positive Sharing and Abstract Machines
AU  - Beniamino Accattoli
AU  - Claudio Sacerdoti Coen
AU  - Jui-Hsuan Wu
PY  - 2025
UR  - https://arxiv.org/abs/2506.14131
ID  - 2506.14131
ER  -