Decidable Topologies for Communicating Automata with FIFO and Bag Channels

Abstract : We study the reachability problem for networks of finite-state automata communicating over unbounded perfect channels. We consider communication topologies comprising both ordinary FIFO channels and bag channels, i.e., channels where messages can be freely reordered. It is well-known that when only FIFO channels are considered, the reachability problem is decidable if, and only if, there is no undirected cycle in the topology. On the other side, when only bag channels are allowed, the reachability problem is decidable for any topology by a simple reduction to Petri nets. In this paper, we study the more complex case where the topology contains both FIFO and bag channels, and we provide a complete characterisation of the decidable topologies in this generalised setting.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01023456
Contributor : Grégoire Sutre <>
Submitted on : Sunday, July 13, 2014 - 2:23:30 AM
Last modification on : Tuesday, December 3, 2019 - 11:22:07 AM
Long-term archiving on: Monday, October 13, 2014 - 10:36:13 AM

File

CfsmFifoBag.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Lorenzo Clemente, Frédéric Herbreteau, Grégoire Sutre. Decidable Topologies for Communicating Automata with FIFO and Bag Channels. CONCUR 2014 - 25th International Conference on Concurrency Theory, Sep 2014, Rome, Italy. pp.281-296, ⟨10.1007/978-3-662-44584-6_20⟩. ⟨hal-01023456⟩

Share

Metrics

Record views

428

Files downloads

357