A Core Model for Choreographic Programming.

Luís Cruz-Filipe Fabrizio Montesi

Published in: FACS (2016)

Keyphrases

probabilistic model
computational model
formal model
neural network
cost function
high level
video sequences
simulation model
sensitivity analysis
cooperative game
real time
network model
statistical model
programming language
prior knowledge
search engine
databases