Reasoning About Choreographic Programs.

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

Published in: COORDINATION (2023)

Keyphrases

real time
information retrieval
decision making
computer programs
spatial reasoning
qualitative reasoning
automatic programming
control program
real world
genetic algorithm
causal reasoning
formal theory