13,755 research outputs found
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
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.Comment: In Proceedings ICE 2015, arXiv:1508.0459
Loosening the notions of compliance and sub-behaviour in client/server systems
In the context of "session behaviors" for client/server systems, we propose a
weakening of the compliance and sub-behaviour relations where the bias toward
the client (whose "requests" must be satisfied) is pushed further with respect
to the usual definitions, by admitting that "not needed" output actions from
the server side can be "skipped" by the client. Both compliance and
sub-behaviour relations resulting from this weakening remain decidable, though
the proof of the duals-as-minima property for servers, on which the
decidability of the sub-behaviour relation relies, requires a tighter analysis
of client/server interactions.Comment: In Proceedings ICE 2014, arXiv:1410.701
Request for Review of the GSP Status of the Republic of Uzbekistan for Violations of Worker Rights
This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide. Special emphasis is placed on labor rights, working conditions, labor market changes, and union organizing.ILRF_ReviewGSPStatusUzbekistanViolations_2007.pdf: 186 downloads, before Oct. 1, 2020
- …