@misc{https___doi.org_10.48550_arxiv.2412.06754,
    doi = {10.48550/ARXIV.2412.06754},
    url = {https://arxiv.org/abs/2412.06754},
    author = {Ong, Shawn and Ma, Stephanie and Kozen, Dexter},
    keywords = {Logic in Computer Science (cs.LO), Formal Languages and Automata Theory (cs.FL), Programming Languages (cs.PL), FOS: Computer and information sciences, FOS: Computer and information sciences},
    title = {Probability and Angelic Nondeterminism with Multiset Semantics},
    publisher = {arXiv},
    year = {2024},
    copyright = {Creative Commons Attribution 4.0 International},
    date-added = {2024-12-10 19:54:26 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2412.06754, doi = {10.48550/ARXIV.2412.06754}, url = {https://arxiv.org/abs/2412.06754}, author = {Ong, Shawn and Ma, Stephanie and Kozen, Dexter}, keywords = {Logic in Computer Science (cs.LO), Formal Languages and Automata Theory (cs.FL), Programming Languages (cs.PL), FOS: Computer and information sciences, FOS: Computer and information sciences}, title = {Probability and Angelic Nondeterminism with Multiset Semantics}, publisher = {arXiv}, year = {2024}, copyright = {Creative Commons Attribution 4.0 International}, date-added = {2024-12-10 19:54:26 +0100} }