Reasoning about Choreographic Programs.

Luís Cruz-Filipe Eva Graversen Fabrizio Montesi Marco Peressotti

Published in: CoRR (2023)

Keyphrases

spatial reasoning
machine learning
computer programs
real time
neural network
decision making
qualitative reasoning
intermediate level
formal theory
control structures