Author:
Siegel Stephen F.,Rossi Louis F.
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Type Discipline for Message Passing Parallel Programs;ACM Transactions on Programming Languages and Systems;2022-12-21
2. Symbolic execution-driven extraction of the parallel execution plans of Spark applications;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
3. Protocol-based verification of message-passing parallel programs;ACM SIGPLAN Notices;2015-12-18
4. Protocol-based verification of message-passing parallel programs;Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2015-10-23
5. Deductive Verification of Parallel Programs Using Why3;Electronic Proceedings in Theoretical Computer Science;2015-08-19