Choreographies and Behavioural Contracts on the Way to Dynamic Updates.

Mario Bravetti Gianluigi Zavattaro

Published in: MOD* (2014)

Keyphrases

real time
case study
dynamic environments
dynamically changing
website
real world
computer vision
data structure
supply chain
medical images
update operations