When sequential code meets replicated data: programming language support to simplify the development of correct replicated data types

Research output: ThesisPhD Thesis

238 Downloads (Pure)
Filter
Active

Search results