Communicating Finite-State Machines and Two-Variable Logic.

Benedikt Bollig Marie Fortin Paul Gastin

Published in: STACS (2018)

Keyphrases

finite state machines
state machine
digital circuits
model checking
finite state automata
asynchronous circuits
logic programming
hidden markov models
modal logic
regular expressions
classical logic
multi valued
object oriented
logical framework