Cited By
View all- Elis BYang DSchulz M(2019)QMPIProceedings of the 26th European MPI Users' Group Meeting10.1145/3343211.3343215(1-10)Online publication date: 11-Sep-2019
- López HMarques EMartins FNg NSantos CVasconcelos VYoshida N(2015)Protocol-based verification of message-passing parallel programsACM SIGPLAN Notices10.1145/2858965.281430250:10(280-298)Online publication date: 23-Oct-2015
- López HMarques EMartins FNg NSantos CVasconcelos VYoshida NAldrich JEugster P(2015)Protocol-based verification of message-passing parallel programsProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814302(280-298)Online publication date: 23-Oct-2015
- Show More Cited By