„Quantum process calculi“

Suchergebnisse

2 Treffer

• Verifying Quantum Based Systems : What do we have to change?
  Schmitt, Anna ; Hähnle, Reiner ; Peters, Kirstin ; Mousavi, Mohammad Reza 2025 Universitäts- und Landesbibliothek
• Effect Semantics for Quantum Process Calculi
  Ceragioli, Lorenzo ; Gadducci, Fabio ; Lomurno, Giuseppe ; Tedeschi, Gabriele 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik