A Formal Theory of Choreographic Programming.

Luís Cruz-Filipe Fabrizio Montesi Marco Peressotti

Published in: J. Autom. Reason. (2023)

Keyphrases

formal theory
belief update
programming language
spatial reasoning
commonsense reasoning
programming environment
real time
programming course
hands on guide
database
object oriented programming
database applications
software engineering
relational databases
feature space
multi agent
website
artificial intelligence