Qtpi: the quantum protocol language.

Qtpi is a high-level, agentic, process-calculus-based language for modelling and reasoning about quantum communication protocols, forming the computational foundation of QMA.

Open Source