Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.

Louis E. Rosier Hsu-Chun Yen

Published in: STACS (1985)

Keyphrases

finite state machines
finite state automata
communication channels
automatic detection
detection method
false positives
detection rate
sufficient conditions
detection accuracy
model checking
object detection
regular expressions
detection algorithm
phase locked
multi channel
pattern matching
anomaly detection