Traversal Techniques for Concurrent Systems.

Marc Solé Enric Pastor

Published in: FMCAD (2002)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
formal specification
petri net
transition systems
data structure
tree structure
high level
multi agent systems
database
production system
quality of service
finite state
decision trees
artificial intelligence