Publicações

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(es)

Eugster P.Aldrich J.

Tipo de Documento

Proceedings Paper

Year published

2015

Publicado

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

Volume: 25-30-Oct-2015, Páginas: 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, Patrocinadores: ACM SIGPLAN

Indexing

Scopus^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2814270.281430

SCOPUS: 2-s2.0-84958631303

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

Protocol-Based Verification of Message-Passing Parallel Programs

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Protocol-Based Verification of Message-Passing Parallel Programs

Links Úteis

Ajuda