Publicações

The Cise Tool: Proving Weakly-Consistent Applications Correct

AuthID
P-00K-GRA

Author(s)

Najafzadeh, M

Gotsman, A

Yang, H

Ferreira, C

Shapiro, M

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in PROCEEDINGS OF THE 2ND WORKSHOP ON THE PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA, PAPOC 2016

Conference

2Nd Workshop on the Principles and Practice of Consistency for Distributed Data (Papoc), Date: APR 18, 2016, Location: London, ENGLAND, Patrocinadores: Assoc Comp Machinery

Indexing

Wos^®

Scopus^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2911151.2911160

SCOPUS: 2-s2.0-84969941337

Wos: WOS:000390307300002

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

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

The Cise Tool: Proving Weakly-Consistent Applications Correct

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

The Cise Tool: Proving Weakly-Consistent Applications Correct

Links Úteis

Ajuda