Concurrent Kleene Algebra: Free Model and Completeness.

Tobias Kappé Paul Brunet Alexandra Silva Fabio Zanasi

Published in: CoRR (2017)

Keyphrases

mathematical model
formal model
high level
computational model
objective function
prior knowledge
sensitivity analysis
statistical model
experimental data
database
probabilistic model
theoretical analysis
network model
neural network model
d objects
image sequences
neural network
databases