Generating Witness of Non-Bisimilarity for the pi-Calculus.

Ki Yung Ahn Ross Horne Alwen Tiu

Published in: CoRR (2017)

Keyphrases

information systems
evolutionary algorithm
automated deduction
database
data sets
databases
machine learning
image processing
three dimensional
expert systems
constraint satisfaction problems
computer algebra