APA (7th ed.) Citation

Li, K. H., Aguirre, A., Tassarotti, J., & Birkedal, L. (2025). Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version).

Chicago Style (17th ed.) Citation

Li, Kwing Hei, Alejandro Aguirre, Joseph Tassarotti, and Lars Birkedal. Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version). 2025.

MLA (9th ed.) Citation

Li, Kwing Hei, et al. Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version). 2025.