Synchronizability of Communicating Finite State Machines is not Decidable

Abstract : A system of communicating finite state machines is synchronizable [1, 4] if its send trace semantics, i.e. the set of sequences of sendings it can perform, is the same when its communications are FIFO asynchronous and when they are just rendezvous synchronizations. This property was claimed to be decidable in several conference and journal papers [1, 4, 3, 2] for either mailboxes (*-1) or peer-to-peer (1-1) communications, thanks to a form of small model property. In this paper, we show that this small model property does not hold neither for mailbox communications, nor for peer-to-peer communications, therefore the decidability of synchronizability becomes an open question. We close this question for peer-to-peer communications, and we show that syn-chronizability is actually undecidable. We show that synchronizability is decidable if the topology of communications is an oriented ring. We also show that, in this case, synchronizability implies the absence of unspecified receptions and orphan messages, and the channel-recognizability of the reachability set.
Type de document :
Communication dans un congrès
44th International Colloquium on Automata, Languages, and Programming ICALP 2017, 2017, Varsaw, Poland. Leibniz International Proceedings in Informatics, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). 〈10.4230/LIPIcs.ICALP.2017.122〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01920609
Contributeur : Etienne Lozes <>
Soumis le : mardi 13 novembre 2018 - 13:31:41
Dernière modification le : mercredi 28 novembre 2018 - 01:14:01

Fichier

LIPIcs-ICALP-2017-122.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

Alain Finkel, Etienne Lozes. Synchronizability of Communicating Finite State Machines is not Decidable. 44th International Colloquium on Automata, Languages, and Programming ICALP 2017, 2017, Varsaw, Poland. Leibniz International Proceedings in Informatics, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). 〈10.4230/LIPIcs.ICALP.2017.122〉. 〈hal-01920609〉

Partager

Métriques

Consultations de la notice

17

Téléchargements de fichiers

4