Author:
Bouajjani Ahmed,Emmi Michael
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated Synthesis of Asynchronizations;Static Analysis;2022
2. Symbolic verification of message passing interface programs;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
3. Actors may synchronize, safely!;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05
4. On the Verification of Concurrent, Asynchronous Programs with Waiting Queues;ACM Transactions on Embedded Computing Systems;2015-05-21
5. Analysis of Asynchronous Programs with Event-Based Synchronization;Programming Languages and Systems;2015