Dynamical Implementation of Nondeterministic Automata and Concurrent Systems.

Max H. Garzon Eugene Eberbach

Published in: Workshop on Implementing Automata (1996)

Keyphrases

concurrent systems
finite state
model checking
temporal logic
distributed systems
formal specification
real time
finite automata
process algebra
transition systems
efficient implementation
neural network
genetic algorithm