Synchronizability of Communicating Finite State Machines is not Decidable.
Alain FinkelÉtienne LozesPublished in: Log. Methods Comput. Sci. (2023)
Keyphrases
- finite state machines
- small world networks
- model checking
- finite state automata
- hidden markov models
- first order logic
- digital circuits
- communication channels
- transitive closure
- video sequences
- regular expressions
- databases
- database
- social network analysis
- regular languages
- data mining
- polynomial hierarchy
- linear time temporal logic