@article{2025arXiv251220939A,
    author = {James Aspnes},
    doi = {https://dx.doi.org/10.48550/arxiv.2512.20939},
    title = {{Stochastic well-structured transition systems}},
    journal = {arXiv e-prints},
    year = {2025},
    month = {dec},
    eid = {arXiv:2512.20939},
    pages = {arXiv:2512.20939},
    archiveprefix = {arXiv},
    eprint = {2512.20939},
    primaryclass = {cs.DC},
    adsurl = {https://ui.adsabs.harvard.edu/abs/2025arXiv251220939A},
    adsnote = {Provided by the SAO/NASA Astrophysics Data System},
    date-added = {2025-12-29 12:53:44 +0100},
    nextcloud = {https://yossarian.ddns.net:4843/nextcloud/index.php/apps/files/files?dir=/Library/bibliographer/./library/entries/2025arXiv251220939A/},
    test property = {sync me! no!},
    date-modified = {2026-1-2 22:41:5 +0100},
    obsidian_note = {# Nextcloud links
[PDF ]


}
}

@article{2025arXiv251220939A, author = {James Aspnes}, doi = {https://dx.doi.org/10.48550/arxiv.2512.20939}, title = {{Stochastic well-structured transition systems}}, journal = {arXiv e-prints}, year = {2025}, month = {dec}, eid = {arXiv:2512.20939}, pages = {arXiv:2512.20939}, archiveprefix = {arXiv}, eprint = {2512.20939}, primaryclass = {cs.DC}, adsurl = {https://ui.adsabs.harvard.edu/abs/2025arXiv251220939A}, adsnote = {Provided by the SAO/NASA Astrophysics Data System}, date-added = {2025-12-29 12:53:44 +0100}, nextcloud = {https://yossarian.ddns.net:4843/nextcloud/index.php/apps/files/files?dir=/Library/bibliographer/./library/entries/2025arXiv251220939A/}, test property = {sync me! no!}, date-modified = {2026-1-2 22:41:5 +0100}, obsidian_note = {# Nextcloud links [PDF ]

}
}</bib>