Automatic Verification of any Number of Concurrent, Communicating Processes.

Muffy Calder Alice Miller

Published in: ASE (2002)

Keyphrases

computational complexity
wide range
special case
small number
computational effort
fixed number
database
knowledge base
website
high level
data structure
artificial neural networks
communication channels