Compositional Proofs for Networks of Processes.

Boris A. Trakhtenbrot

Published in: Fundam. Informaticae (1994)

Keyphrases

computer networks
process model
network analysis
network design
data mining
machine learning
information retrieval
social networks
decision making
wireless networks
computational models
community detection
theorem prover
theorem proving
stochastic processes