Orchestrated Session Compliance

We investigate the notion of orchestrated compliance for client/server interactions in the context of session contracts. Devising the notion of orchestrator in such a context makes it possible to have orchestrators with unbounded buffering capabilities and at the same time to guarantee any message...

Full description

Bibliographic Details
Main Authors: Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
Format: Article
Language:English
Published: Open Publishing Association 2015-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1508.04849v1