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

Research output: ThesisPhD Thesis

241 Downloads (Pure)

Fingerprint

Dive into the research topics of 'When sequential code meets replicated data: programming language support to simplify the development of correct replicated data types'. Together they form a unique fingerprint.

Engineering & Materials Science