 |
ComputingReviews.com
| |
Protocol-based verification of message-passing parallel programs
López H., Marques E., Martins F., Ng N., Santos C., Vasconcelos V., Yoshida N. OOPSLA 2015 (Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pittsburgh, PA, Oct 25-30, 2015)280-298,2015.Type:Proceedings |
|
|
| |
 |
 |
 |
| |
 |
Use your personal or institutional subscription to read the
fulltext of the article.
 |
 |
| |
 |
| |
|
|
|
|
|
|
|
|
