Publications

Protocol-Based Verification of Message-Passing Parallel Programs

AuthID
P-00K-6X1

Author(s)

López, HA

Marques, ERB

Martins, F

Ng, N

Santos, C

Vasconcelos, VT

Yoshida, N

Editor(s)

Eugster P.Aldrich J.

Document Type

Proceedings Paper

Year published

2015

Published

in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volume: 25-30-Oct-2015, Pages: 280-298

Conference

2015 Acm Sigplan International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Oopsla 2015, Date: 25 October 2015 through 30 October 2015, Sponsors: ACM SIGPLAN

Indexing

Scopus^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/2814270.281430

SCOPUS: 2-s2.0-84958631303

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Protocol-Based Verification of Message-Passing Parallel Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

Protocol-Based Verification of Message-Passing Parallel Programs

Useful Links

Get Help