@PhdThesis{       Christensen:PhD:1993,
  Author        = "Christensen, S{\o}ren",
  date-added    = "2012-11-27 19:19:08 +0000",
  date-modified = "2012-11-27 19:19:38 +0000",
  School        = "Department of Computer Science, University of Edinburgh",
  Title         = "Decidability and Decomposition in Process Algebras",
  Year          = "1993",
  bdsk-url-1    = "http://www.lfcs.inf.ed.ac.uk/reports/93/ECS-LFCS-93-278/",
  File          = "Decidability and Decomposition in Process Algebras - Christensen (0) (0) - a - a - c.pdf"
}

@PhdThesis{ Christensen:PhD:1993, Author = "Christensen, S{\o}ren", date-added = "2012-11-27 19:19:08 +0000", date-modified = "2012-11-27 19:19:38 +0000", School = "Department of Computer Science, University of Edinburgh", Title = "Decidability and Decomposition in Process Algebras", Year = "1993", bdsk-url-1 = "http://www.lfcs.inf.ed.ac.uk/reports/93/ECS-LFCS-93-278/", File = "Decidability and Decomposition in Process Algebras - Christensen (0) (0) - a - a - c.pdf" }