26 citations · 159 across the 29 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2014
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
Alastair F. Donaldson, Vasco T. Vasconcelos
This volume contains the post-proceedings of PLACES 2014, the seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, which was held…
cs.DC2013★ 11 cited
Towards deductive verification of MPI programs against session types
Eduardo R. B. Marques, Francisco Martins, Vasco T. Vasconcelos +2
The Message Passing Interface (MPI) is the de facto standard message-passing infrastructure for developing parallel applications. Two decades after the first version of the library…