Deciding Boundedness for Systems of two Linear Communicating Fine State Machines.

Abderrahim Benslimane

Published in: CAST (1994)

Keyphrases

state machines
distributed systems
linear systems
artificial intelligence
embedded systems
database
neural network
expert systems
artificial neural networks
multi modal
sufficient conditions