An Event Structure Model for Probabilistic Concurrent Kleene Algebra.

Annabelle McIver Tahiry M. Rabehaja Georg Struth

Published in: LPAR (2013)

Keyphrases

high level
probabilistic model
mathematical model
computational model
dependency graph
database
tree structure
probability distribution
access control
parameter estimation
theoretical framework
process model
data model
objective function
statistical model
formal model
similarity measure