Brief Announcement: Specification and Implementation of Replicated List: The Jupiter Protocol Revisited.

Hengfeng Wei Yu Huang Jian Lu

Published in: PODC (2018)

Keyphrases

protocol specification
fault tolerant
lightweight
efficient implementation
formal specification
database
real time
information systems
data model
end to end
communication protocols
distributed computing environment
interprocess communication
highly modular