Evaluating Symbolic Traversal Algorithms Applied to Asynchronous Concurrent Systems.

Marc Solé Enric Pastor

Published in: ACSD (2004)

Keyphrases

concurrent systems
data structure
computational complexity
relational databases
theoretical analysis
orders of magnitude
machine learning
knowledge base
computational cost
distributed systems
computationally efficient
temporal logic