@Conference{      duality:LICS:2017,
  Author        = "Furber, Robert and Kozen, Dexter and Larsen, Kim and Mardare, Radu and Panangaden, Prakash",
  BookTitle     = "Proc. of LICS'17",
  date-added    = "2017-06-22 21:30:39 +0000",
  date-modified = "2017-06-22 21:31:28 +0000",
  Title         = "Unrestricted Stone Duality for Markov Processes",
  Year          = "2017",
  File          = "263 (0) - a - a - k.pdf"
}

@Conference{ duality:LICS:2017, Author = "Furber, Robert and Kozen, Dexter and Larsen, Kim and Mardare, Radu and Panangaden, Prakash", BookTitle = "Proc. of LICS'17", date-added = "2017-06-22 21:30:39 +0000", date-modified = "2017-06-22 21:31:28 +0000", Title = "Unrestricted Stone Duality for Markov Processes", Year = "2017", File = "263 (0) - a - a - k.pdf" }