Verification of Erlang Processes by Dependency Pairs.

Jürgen Giesl Thomas Arts

Published in: Appl. Algebra Eng. Commun. Comput. (2001)

Keyphrases

pairwise
real time
decision making
multi agent
database
data sets
information systems
similarity measure
learning environment
process model