Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
347 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Responsive Parallelism with Synchronization;Proceedings of the ACM on Programming Languages;2023-06-06
2. Using Supplementary Properties to Reduce the Need for Documentation;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
3. Advanced control‐flow and concurrency in C∀;Software: Practice and Experience;2020-12
4. LabVIEW;Proceedings of the ACM on Programming Languages;2020-06-12
5. Blockchain technology for decentralized autonomous organizations;Advances in Computers;2019