XFSM: A Format Model of Communicating State Machines for Implementation Specification.

Günter Karjoth

Published in: PARLE (1992)

Keyphrases

state machine
state machines
neural network
artificial intelligence
petri net
load balancing
finite state machines
specification language
reactive systems