Pedersen, J., & Chalmers, K. (2025). Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language.
Chicago Style (17th ed.) CitationPedersen, Jan, and Kevin Chalmers. Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language. 2025.
MLA (9th ed.) CitationPedersen, Jan, and Kevin Chalmers. Verifying Correctness of Shared Channels in a Cooperatively Scheduled Process-Oriented Language. 2025.
Warning: These citations may not always be 100% accurate.