activity
20232026
most citedA Coalgebraic Model of Quantum Bisimulation

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing 2023Show all

1 paper · 1 filter

cs.LO2023★ 1 cited

Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-Deterministic Observers

Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno +1

Past years have seen the development of a few proposals for quantum extensions of process calculi. The rationale is clear: with the development of quantum communication protocols,…