Synchronizability of Communicating Finite State Machines is not Decidable.

Alain Finkel, tienne Lozes

Browse the full ICALP paper archive.