Cited By
View all- Castiglioni VTini S(2020)Probabilistic divide & congruenceTheoretical Computer Science10.1016/j.tcs.2019.09.037802:C(147-196)Online publication date: 8-Jan-2020
- Gebler DTini S(2018)SOS specifications for uniformly continuous operatorsJournal of Computer and System Sciences10.1016/j.jcss.2017.09.01192:C(113-151)Online publication date: 1-Mar-2018
- Feng YDuan RYing M(2012)Bisimulation for Quantum ProcessesACM Transactions on Programming Languages and Systems10.1145/2400676.240068034:4(1-43)Online publication date: 1-Dec-2012
- Show More Cited By