@mastersthesis{FCarvalho:msc,
  author = "Carvalho, F.",
  month = oct,
  school = "Instituto Superior T\´{e}cnico, Universidade de Lisboa",
  title = "Shared Logs With Support for Multi-Consistency",
  year = "2025"
}