3 papers
cs.LO2026
A Unifying Approach to Probabilistic Testing Equivalences
Weijun Chen, Yuxi Fu, Huan Long +1
Probabilistic concurrent systems are foundational models for modern mobile computing. In this paper, a unifying approach to probabilistic testing equivalences is proposed. With the…
cs.PL2026
A Programming Language for Feasible Solutions
Weijun Chen, Yuxi Fu, Huan Long
Runtime efficiency and termination are crucial properties in the studies of program verification. Instead of dealing with these issues in an ad hoc manner, it would be useful to de…
cs.LO2024
Analyzing Divergence for Nondeterministic Probabilistic Models
Hao Wu, Yuxi Fu, Huan Long +2
Branching and weak probabilistic bisimilarities are two well-known notions capturing behavioral equivalence between nondeterministic probabilistic systems. For probabilistic system…