A Complete Axiomatic Semantics for the CSP Stable-Failures Model.

Yoshinao Isobe Markus Roggenbach

Published in: CONCUR (2006)

Keyphrases

computational model
high level
statistical model
experimental data
management system
parameter estimation
conceptual model
data sets
similarity measure
knowledge representation
network structure
semantic models