Bounded Implementations of Replicated Data Types

DOI10.1007/978-3-662-46081-8_20zbMath1432.68098OpenAlexW82272873MaRDI QIDQ5172652

Madhavan Mukund, S. P. Suresh, Gautham Shenoy R.

Publication date: 4 February 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_20

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

This page was built for publication: Bounded Implementations of Replicated Data Types