@Article{         BonnetChadhaViswanathanMadhusudan,
  Author        = "Bonnet, Remi and Chadha, Rohit and Viswanathan, Mahesh and Madhusudan, P.",
  date-added    = "2013-11-24 15:33:29 +0000",
  date-modified = "2013-11-24 15:33:36 +0000",
  EPrint        = "1308.2349",
  Month         = "08",
  Title         = "Reachability under Contextual Locking",
  URL           = "http://arxiv.org/abs/1308.2349",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1308.2349",
  File          = "Reachability under Contextual Locking - Bonnet, Chadha, Viswanathan, Madhusudan (0) (0) - a - a - x.pdf"
}

@Article{ BonnetChadhaViswanathanMadhusudan, Author = "Bonnet, Remi and Chadha, Rohit and Viswanathan, Mahesh and Madhusudan, P.", date-added = "2013-11-24 15:33:29 +0000", date-modified = "2013-11-24 15:33:36 +0000", EPrint = "1308.2349", Month = "08", Title = "Reachability under Contextual Locking", URL = "http://arxiv.org/abs/1308.2349", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1308.2349", File = "Reachability under Contextual Locking - Bonnet, Chadha, Viswanathan, Madhusudan (0) (0) - a - a - x.pdf" }