Communicating Finite-State Machines and Two-Variable Logic.

Benedikt Bollig Marie Fortin Paul Gastin

Published in: CoRR (2017)

Keyphrases

finite state machines
state machine
digital circuits
model checking
finite state automata
hidden markov models
modal logic
classical logic
regular expressions
temporal logic
multi valued
predicate logic
logical framework
high level
asynchronous circuits
communication channels
logic programming
proof theory