Decidability Results for Choreography Realization.

Niels Lohmann Karsten Wolf

Published in: ICSOC (2011)

Keyphrases

description logics
query answering
type checking
service oriented architecture
data sets
artificial intelligence
decision procedures
digital libraries
data exchange