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

DOI10.1007/978-3-030-53288-8_16zbMath1478.68169OpenAlexW3042319093MaRDI QIDQ2225111

Xiao Li, Mohsen Lesani, Farzin Houshmand

Publication date: 4 February 2021

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)

Related Items (1)

Hampa

Uses Software

• CVC4
• PSync

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