A Model and Temporal Proof System for Networks of Processes.

Van Nguyen David Gries Susan S. Owicki

Published in: POPL (1985)

Keyphrases

formal model
probabilistic model
mathematical model
theoretical framework
neural network
image segmentation
temporal properties
social networks
image sequences
theoretical analysis
statistical model
network model
temporal structure