A True Concurrency Model of CCS Semantics.

Published in: Theor. Comput. Sci. (1993)

Keyphrases

computational model
prior knowledge
database
databases
genetic algorithm
similarity measure
multi agent
theoretical analysis
metamodel
specification language