DisQ: A Markov Decision Process Based Language for Quantum Distributed Systems. - Le Chang; Saitej Yavvari; Rance Cleaveland; Samik Basu 001; Liyi Li 002 (CoRR, 2024)