Loosening the notions of compliance and sub-behaviour in client/server systems
Guardado en:
| Publicado en: | arXiv.org (Oct 28, 2014), p. n/a |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Publicado: |
Cornell University Library, arXiv.org
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full text outside of ProQuest |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2084740110 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 024 | 7 | |a 10.4204/EPTCS.166.10 |2 doi | |
| 035 | |a 2084740110 | ||
| 045 | 0 | |b d20141028 | |
| 100 | 1 | |a Barbanera, Franco | |
| 245 | 1 | |a Loosening the notions of compliance and sub-behaviour in client/server systems | |
| 260 | |b Cornell University Library, arXiv.org |c Oct 28, 2014 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a 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. | |
| 653 | |a Client server computing | ||
| 653 | |a Compliance | ||
| 653 | |a Client server systems | ||
| 653 | |a Loosening | ||
| 700 | 1 | |a Ugo de' Liguoro | |
| 773 | 0 | |t arXiv.org |g (Oct 28, 2014), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2084740110/abstract/embedded/L8HZQI7Z43R0LA5T?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/1311.5802 |