Cyclic Communicating Processes: Hierarchy and Verification.

P. S. Thiagarajan

Published in: ACSD (2003)

Keyphrases

communication channels
model checking
hierarchical structure
artificial intelligence
data mining
image processing
website
process model
formal verification
sharing information
hierarchical organization