Hierarchical partition of nonstructured concurrent systems.

Hyung Lee-Kwang Kyoung A. Seong Keon-Myung Lee

Published in: IEEE Trans. Syst. Man Cybern. Part B (1997)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
formal specification
model checking
transition systems
petri net
binary tree
hierarchical clustering
hierarchical structure
coarse to fine
hierarchical representation
hierarchical classification
building blocks
artificial intelligence
data sets