Asynchronous test equivalence for probabilistic processes

Puneet Bhateja. Asynchronous test equivalence for probabilistic processes. In 27th Asia-Pacific Software Engineering Conference, APSEC 2020, Singapore, December 1-4, 2020. pages 480-484, IEEE, 2020. [doi]

Abstract

Abstract is missing.