Proving Liveness for Networks of Communicating Finite State Machines.

Mohamed G. Gouda Chung-Kuo Chang

Published in: ACM Trans. Program. Lang. Syst. (1986)

Keyphrases

finite state machines
model checking
finite state automata
social networks
regular expressions
network analysis
neural network
network structure
network size
computer networks
functional units
database
digital circuits
complex networks
software development
domain specific
high level