A Distributed Alternative to Finite-State-Machine Specifications.
Pamela ZavePublished in: ACM Trans. Program. Lang. Syst. (1985)
Keyphrases
- finite state machines
- model checking
- state machine
- cooperative
- state transition
- distributed systems
- distributed environment
- finite state automata
- regular expressions
- computer networks
- multi agent
- lightweight
- domain knowledge
- hidden markov models
- high level
- computing environments
- mobile agents
- cellular automaton
- digital circuits