Decidable Topologies for Communicating Automata with FIFO and Bag Channels.

Lorenzo Clemente, Frdric Herbreteau, Grgoire Sutre

Browse the full CONCUR paper archive.