Login / Signup
Synchronizability of Communicating Finite State Machines is not Decidable.
Alain Finkel
Étienne Lozes
Published in:
CoRR (2017)
Keyphrases
</>
finite state machines
model checking
regular expressions
small world networks
first order logic
communication channels
finite state automata
linear time temporal logic
hidden markov models
digital circuits
databases
np complete
transitive closure
datalog programs
domain specific
polynomial hierarchy