\textsc{Hampa}: solver-aided recency-aware replication

DOI10.1007/978-3-030-53288-8_16MaRDI QIDQ2225111zbMATH OpenOpenAlexFDO

Authors Xiao Li, Farzin Houshmand, Mohsen Lesani

Publication date 4 February 2021

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-53288-8_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Convergent and commutative replicated data types
• Replicated data types, specification, verification, optimality
• Concurrency and availability as dual properties of replicated atomic data
• Eventually-serializable data services
• Parallel Processing and Applied Mathematics

Cited in

(1)

• Hampa

Describes a project that uses

Uses Software

• CVC4
• PSync

This page was built for publication: \textsc{Hampa}: solver-aided recency-aware replication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2225111)