Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes.

Published in: PSTV (1989)

Keyphrases

communication channels
social networks
desirable properties
structural properties
process model
sharing information
network model
computer networks
complex networks
network structure
model checking
database
complex systems
decision trees
knowledge base
decision making
artificial intelligence
data mining
real time