@PhdThesis{       dosualdo,
  Author        = "D'Osualdo, Emanuele",
  date-added    = "2020-09-03 15:03:26 +0200",
  date-modified = "2020-09-03 15:04:44 +0200",
  School        = "University of Oxford",
  Title         = "Verification of Message Passing Concurrent Systems",
  Year          = "2015",
  File          = "Veriﬁcation of Message Passing Concurrent Systems - a - j.pdf"
}

@PhdThesis{ dosualdo, Author = "D'Osualdo, Emanuele", date-added = "2020-09-03 15:03:26 +0200", date-modified = "2020-09-03 15:04:44 +0200", School = "University of Oxford", Title = "Verification of Message Passing Concurrent Systems", Year = "2015", File = "Veriﬁcation of Message Passing Concurrent Systems - a - j.pdf" }