Name
Abstract | ||
|---|---|---|
•A replicated data type is specified as a function that maps visibility into admissible arbitrations.•The approach supports underspecification and refinement.•Implementation correctness is defined as a standard simulation relation. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1016/j.scico.2018.06.003 | Science of Computer Programming |
Keywords | Field | DocType |
Replicated data types,Specification,Implementation correctness | Data structure,Replica,Visibility,Underspecification,Programming language,Computer science,Implementation,Theoretical computer science,Data type,Arbitration,Semantics | Journal |
Volume | ISSN | Citations |
167 | 0167-6423 | 0 |
PageRank | References | Authors |
0.34 | 13 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Fabio Gadducci | 1 | 87 | 7.95 |
| Hernán C. Melgratti | 2 | 82 | 13.49 |
| Christian Roldán | 3 | 3 | 1.73 |