Login / Signup
On the Decidability of Non-Interleaving Process Equivalences.
Astrid Kiehn
Matthew Hennessy
Published in:
Fundam. Informaticae (1997)
Keyphrases
</>
neural network
real world
genetic algorithm
process model
conceptual model
incomplete information