Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Inputs and Outputs in CSP;ACM Transactions on Computational Logic;2020-05-22
2. Philosophers May Dine - Definitively!;Lecture Notes in Computer Science;2020
3. Parallelism in C++ Using Sequential Communicating Processes;2018 17th International Symposium on Parallel and Distributed Computing (ISPDC);2018-06
4. The symbiosis of concurrency and verification: teaching and case studies;Formal Aspects of Computing;2018-03
5. Test selection for traces refinement;Theoretical Computer Science;2015-01