Sign in
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