The following pages link to Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917):
Displaying 1 item.