2 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…