@Unpublished{     ClementeHerbreteauSutre,
  Author        = "Clemente, Lorenzo and Herbreteau, Fr{\'e}d{\'e}ric and Sutre, Gregoire",
  date-added    = "2013-12-19 13:13:14 +0000",
  date-modified = "2014-01-02 17:10:56 +0000",
  Keywords      = "communicating automata",
  Month         = "Oct.",
  Note          = "In preparation",
  Title         = "Decidable Topologies for Communicating Automata with {FIFO} and Bag Channels",
  Year          = "2013",
  File          = "Decidable Topologies for Communicating Automata with FIFO and Bag Channels - Clemente, Herbreteau, Sutre (1) (0) - a - a - p.pdf",
  file-2        = "Decidable Topologies for Communicating Automata with FIFO and Bag Channels - Clemente, Herbreteau, Sutre (0) (0) - a - a - p.pdf"
}

@Unpublished{ ClementeHerbreteauSutre, Author = "Clemente, Lorenzo and Herbreteau, Fr{\'e}d{\'e}ric and Sutre, Gregoire", date-added = "2013-12-19 13:13:14 +0000", date-modified = "2014-01-02 17:10:56 +0000", Keywords = "communicating automata", Month = "Oct.", Note = "In preparation", Title = "Decidable Topologies for Communicating Automata with {FIFO} and Bag Channels", Year = "2013", File = "Decidable Topologies for Communicating Automata with FIFO and Bag Channels - Clemente, Herbreteau, Sutre (1) (0) - a - a - p.pdf", file-2 = "Decidable Topologies for Communicating Automata with FIFO and Bag Channels - Clemente, Herbreteau, Sutre (0) (0) - a - a - p.pdf" }