@mastersthesis{Machado:msc,
  author = "Machado, N.",
  month = oct,
  school = "Instituto Superior T\´{e}cnico, Universidade T\´{e}cnica de Lisboa",
  title = "Lightweight Cooperative Logging for Fault Replication in Concurrent Programs",
  year = "2011"
}