Concurrent Kleene Algebra: Free Model and Completeness.

Tobias Kappé Paul Brunet Alexandra Silva Fabio Zanasi

Published in: ESOP (2018)

Keyphrases

data sets
management system
theoretical framework
prior knowledge
probabilistic model
em algorithm
computational model
experimental data
object model
high level
probability distribution
statistical model
hybrid automata