Publications

Protocol-Based Verification of Message-Passing Parallel Programs

AuthID
P-00G-SY2

Author(s)

Lopez, HA

Ng, N

Yoshida, N

Editor(s)

Jonathan Aldrich; Patrick Eugster

Document Type

Article

Year published

2015

Published

in ACM SIGPLAN NOTICES in OOPSLA, ISSN: 0362-1340

Volume: 50, Issue: 10, Pages: 280-298 (19)

Conference

Acm Sigplan International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Oopsla), Date: OCT 25-30, 2015, Location: Pittsburgh, PA, Sponsors: ACM SIGPLAN

Indexing

Wos^®

Dblp^®/en/publications/view/550850

Crossref^®24

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/2814270.2814302

Dblp: conf/oopsla/LopezMMNSVY15

Wos: WOS:000367256500016

Source Identifiers

ISSN: 0362-1340

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