Developing Correctly Replicated Databases Using Formal Tools

Schiper, Nicolas; Rahli, Vincent; Van Renesse, Robbert; Bickford, Mark; Constable, Robert L.

doi:10.1109/DSN.2014.45

Request a copy

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Developing Correctly Replicated Databases Using Formal Tools

Schiper, Nicolas; Rahli, Vincent; Van Renesse, Robbert et al.

2014 • In DSN 2014

Peer reviewed

Permalink
https://hdl.handle.net/10993/22654

DOI
10.1109/DSN.2014.45

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

DevelopingCorrectlyReplicatedDatabasesUsingFormalTools.pdf

Author preprint (305.21 kB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Schiper, Nicolas

Rahli, Vincent ; Cornell University > Computer Science Department

Van Renesse, Robbert

Bickford, Mark

Constable, Robert L.

External co-authors :

yes

Language :

English

Title :

Developing Correctly Replicated Databases Using Formal Tools

Publication date :

2014

Event name :

DSN 2014

Event date :

June 2014

Main work title :

DSN 2014

Peer reviewed :

Peer reviewed

Additional URL :

http://dx.doi.org/10.1109/DSN.2014.45

Commentary :

395--406

Available on ORBilu :

since 30 November 2015

Statistics

Number of views

38 (5 by Unilu)

Number of downloads

1 (1 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™