A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies.

Huu Nghia Nguyen Pascal Poizat Fatiha Zaïdi

Published in: ICSOC (2012)

Keyphrases

data sets
main contribution
theoretical framework
computational framework
database
real time
databases
computer vision
web services
key features