Article thumbnail

Choreographies and Behavioural Contracts on the Way to Dynamic Updates

By Mario Bravetti and Gianluigi Zavattaro
Publisher: Open Publishing Association
Year: 2014
DOI identifier: 10.4204/eptcs.168.2
OAI identifier:
Provided by: MUCC (Crossref)
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://arxiv.org/pdf/1411.3791 (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.