Lev Sorokin

Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing

Walter Vogler, Ferenc Bujtor, Lev Sorokin, 2015, 2015 15th International Conference on Application of Concurrency to System Design.

Testing Preorders for dMTS

Walter Vogler, Ferenc Bujtor, Lev Sorokin, 2016, ACM Trans. Embed. Comput. Syst..