Orchestrated Session Compliance
The work
| Authors | Franco Barbanera; Steffen van Bakel; Ugo de’Liguoro |
|---|---|
| Editors | |
| Type | article |
| Year | 2015 |
| Citekey | barbanera2015orchestrated |
Where it appeared
| Published in | Electronic Proceedings in Theoretical Computer Science |
|---|---|
| Publisher | Open Publishing Association |
| Volume | 189 |
| Pages | 21--36 |
Identifiers
| arXiv | 1508.04849 from its oa_pdf_url |
|---|---|
| DOI | 10.4204/eptcs.189.4 |
| OpenAlex | W2210677409 |
Access
| Landing page | https://doi.org/10.4204/eptcs.189.4 |
|---|---|
| Free full text | https://arxiv.org/pdf/1508.04849 |
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
Abstract
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 from the client to be eventually delivered by the orchestrator to the server, while preventing the server from sending messages which are kept indefinitely inside the orchestrator. The compliance relation is shown to be decidable by means of 1) a procedure synthesising the orchestrators, if any, making a client compliant with a server, and 2) a procedure for deciding whether an orchestrator behaves in a proper way as mentioned before.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 19:31 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Filed under
Cite it as
@article{barbanera2015orchestrated,
title = {Orchestrated Session Compliance},
author = {Franco Barbanera and Steffen van Bakel and Ugo de’Liguoro},
year = {2015},
journal = {Electronic Proceedings in Theoretical Computer Science},
publisher = {Open Publishing Association},
volume = {189},
pages = {21--36},
doi = {10.4204/eptcs.189.4},
}
This record lives at https://refs.drheap.org/barbanera2015orchestrated/ and will keep doing so.