Determining asynchronous test equivalence for probabilistic processes

Puneet Bhateja. Determining asynchronous test equivalence for probabilistic processes. Inf. Process. Lett., 177:106269, 2022. [doi]

Abstract

Abstract is missing.