A Theory of Formal Choreographic Languages.

Franco Barbanera Ivan Lanese Emilio Tuosto

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

formal languages
formal methods
mathematical theory
expressive power
theoretical framework
mathematical foundations
databases
computational model
theoretical basis
general theory
reasoning processes
real time
website
web services