Le Chang, Saitej Yavvari, Rance Cleaveland, Samik Basu 0001, Runzhou Tao 0001, Liyi Li 0002. DisQ: A Model of Distributed Quantum Processors. In Jyotirmoy V. Deshmukh, Klaus Havelund, Alessandro Pinto, editors, NASA Formal Methods - 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings. Volume 16622 of Lecture Notes in Computer Science, pages 25-47, Springer, 2026. [doi]
Abstract is missing.