Cited By
View all- Ceragioli LGadducci FLomurno GTedeschi G(2024)Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic ObserversProceedings of the ACM on Programming Languages10.1145/36328858:POPL(1269-1297)Online publication date: 5-Jan-2024
- Wu HYang QLong H(2024)Branching bisimulation semantics for quantum processesInformation Processing Letters10.1016/j.ipl.2024.106492186:COnline publication date: 1-Aug-2024
- (2016)Theory of interactionTheoretical Computer Science10.1016/j.tcs.2015.07.043611:C(1-49)Online publication date: 18-Jan-2016
- Show More Cited By