Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference26 articles.
1. M. Bernardo, Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism, in: QEST, 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings, in: LNCS, vol. 12289.
2. A theory of testing for Markovian processes;Bernardo,2000
3. Revisiting trace and testing equivalences for nondeterministic and probabilistic processes;Bernardo;Log. Methods Comput. Sci.,2014
4. Asynchronous test equivalence over probabilistic processes;Bhateja,2020
5. A new semantic equivalence for real-time processes;Bhateja,2017
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Asynchronous Test Equivalence over Timed Processes;Theoretical Aspects of Software Engineering;2023