Certifying Choreography Compilation.

Luís Cruz-Filipe Fabrizio Montesi Marco Peressotti

Published in: CoRR (2021)

Keyphrases

service oriented architecture
database
machine learning
e learning
web services
service oriented
service oriented computing