Synchronizability of Communicating Finite State Machines is not Decidable.
Alain FinkelÉtienne LozesPublished in: ICALP (2017)
Keyphrases
- finite state machines
- model checking
- finite state automata
- small world networks
- digital circuits
- datalog programs
- communication channels
- linear time temporal logic
- regular expressions
- first order logic
- hidden markov models
- phase transition
- transitive closure
- sharing information
- computational complexity
- databases
- database