1 paper
Guo Li, Zhaokai Li, Xinxin Liu +3
We introduce a new branching bisimulation for probabilistic processes, which induces a more refined equivalence relation than any known equivalence that abstracts from unobservable…