„probabilistic LTSs“

Suchergebnisse

1 Treffer

• Effect Semantics for Quantum Process Calculi
  Ceragioli, Lorenzo ; Gadducci, Fabio ; Lomurno, Giuseppe ; Tedeschi, Gabriele 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik