2 papers
cs.LO2026
A New Branching Bisimulation for Probabilistic Processes
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…
cs.DC2026
A Forward Simulation-Based Hierarchy of Linearizable Concurrent Objects
Chao Wang, Ruijia Li, Yang Zhou +5
In this paper, we systematically investigate the connection between linearizable objects and forward simulation. We prove that the sets of linearizable objects satisfying wait-free…