Formal specification of MPI 2.0: Case study in specifying a practical concurrent programming API (2009)

by Guodong Li , Robert Palmer B , Michael Delisi A , Ganesh Gopalakrishnan A , Robert M. Kirby A
Citations:6 - 5 self