Author:
Zakeryfar Maryam,Grogono Peter
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Traquest Model;Acta Cybernetica;2021-12-07
2. An Efficient and Accurate Mixed Dynamic Data Race Detection Method;2021 4th International Conference on Artificial Intelligence and Pattern Recognition;2021-09-24
3. May-happen-in-parallel analysis with static vector clocks;Proceedings of the 2018 International Symposium on Code Generation and Optimization;2018-02-24
4. May-happen-in-parallel analysis with static vector clocks;Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018;2018
5. Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems;Procedia Computer Science;2016