Transitive Closures of Regular Relations for Verifying Infinite-State Systems.

Bengt Jonsson Marcus Nilsson

Published in: TACAS (2000)

Keyphrases

distributed systems
data mining
management system
transitive closure
building blocks
artificial intelligence
learning systems
complex systems
expressive power