A Complete Compositional Model Proof System for a Subset of CCS.

Published in: ICALP (1985)

Keyphrases

probabilistic model
management system
computational model
mathematical model
theoretical analysis
similarity measure
information systems
high level
feature space
evolutionary algorithm
cost function
probability distribution
input data
experimental data
prediction model
autoregressive