Certifying Choreography Compilation.

Luís Cruz-Filipe Fabrizio Montesi Marco Peressotti

Published in: ICTAC (2021)

Keyphrases

service oriented architecture
case study
model counting
real world
artificial intelligence
clustering algorithm
training data
information technology
data model
management system