Towards a formal framework for Choreography.

Nadia Busi Roberto Gorrieri Claudio Guidi Roberto Lucchi Gianluigi Zavattaro

Published in: WETICE (2005)

Keyphrases

real time
main contribution
case study
theoretical framework
image processing
database systems
lightweight
computational model
meta level