@InProceedings{   DY2012,
  Author        = "Deni{\'e}lou, Pierre-Malo and Yoshida, Nobuko",
  BookTitle     = "ESOP'12",
  date-added    = "2014-03-03 13:42:55 +0000",
  date-modified = "2014-11-21 10:43:22 +0000",
  Keywords      = "session types and communicating automata",
  Pages         = "194--213",
  Series        = "LNCS",
  Title         = "Multiparty Session Types Meet Communicating Automata",
  Volume        = "7211",
  Year          = "2012",
  File          = "Multiparty Session Types Meet Communicating Automata - Deniélou, Yoshida (0) (0) - a - a - j.pdf"
}

@InProceedings{ DY2012, Author = "Deni{\'e}lou, Pierre-Malo and Yoshida, Nobuko", BookTitle = "ESOP'12", date-added = "2014-03-03 13:42:55 +0000", date-modified = "2014-11-21 10:43:22 +0000", Keywords = "session types and communicating automata", Pages = "194--213", Series = "LNCS", Title = "Multiparty Session Types Meet Communicating Automata", Volume = "7211", Year = "2012", File = "Multiparty Session Types Meet Communicating Automata - Deniélou, Yoshida (0) (0) - a - a - j.pdf" }