Safe Replication through Bounded Concurrency Verification Journal Article

• Best Open Access

Overview

CU Boulder Authors

• Kaki, Gowtham

publication date

• November 1, 2018

has restriction

• gold

Date in CU Experts

• October 21, 2020 10:40 AM

Full Author List

• Kaki G; Earanky K; Sivaramakrishnan K; Jagannathan S

author count

• 4

citation count

• 13

published in

• Proceedings of the ACM on Programming Languages  Journal

Other Profiles

Electronic International Standard Serial Number (EISSN)

• 2475-1421

Digital Object Identifier (DOI)

• https://doi.org/10.1145/3276534

Additional Document Info

volume

• 2

number

• ARTN 164