A Formal Theory of Choreographic Programming.

Luís Cruz-Filipe Fabrizio Montesi Marco Peressotti

Published in: CoRR (2022)

Keyphrases

formal theory
belief update
commonsense reasoning
programming language
spatial reasoning
object oriented programming
programming environment
real time
databases
image retrieval
database
neural network
case study
contextual information
action recognition