@Article{         AbdullaAtigKrishna:Arxiv:2017,
  Author        = "{Aziz Abdulla}, P. and {Faouzi Atig}, M. and {Krishna}, S.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2017arXiv170805063A",
  ArchivePrefix = "arXiv",
  date-added    = "2018-03-30 11:37:40 +0000",
  date-modified = "2018-03-30 11:38:17 +0000",
  EPrint        = "1708.05063",
  Journal       = "ArXiv e-prints",
  Keywords      = "citesme!",
  Month         = "August",
  PrimaryClass  = "cs.FL",
  Title         = "{Communicating Timed Processes with Perfect Timed Channels}",
  Year          = "2017",
  bdsk-url-1    = "https://arxiv.org/abs/1708.05063",
  File          = "1708.050630 (0) - a - a - n.pdf"
}

@Article{ AbdullaAtigKrishna:Arxiv:2017, Author = "{Aziz Abdulla}, P. and {Faouzi Atig}, M. and {Krishna}, S.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2017arXiv170805063A", ArchivePrefix = "arXiv", date-added = "2018-03-30 11:37:40 +0000", date-modified = "2018-03-30 11:38:17 +0000", EPrint = "1708.05063", Journal = "ArXiv e-prints", Keywords = "citesme!", Month = "August", PrimaryClass = "cs.FL", Title = "{Communicating Timed Processes with Perfect Timed Channels}", Year = "2017", bdsk-url-1 = "https://arxiv.org/abs/1708.05063", File = "1708.050630 (0) - a - a - n.pdf" }