Loosening the notions of compliance and sub-behaviour in client/server systems

Franco Barbanera
(Dipartimento di Matematica e Informatica, Univ. Catania)
Ugo de' Liguoro
(Dipartimento di Informatica, Univ. Torino)

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.

In Ivan Lanese, Alberto Lluch Lafuente, Ana Sokolova and Hugo Torres Vieira: Proceedings 7th Interaction and Concurrency Experience (ICE 2014), Berlin, Germany, 6th June 2014, Electronic Proceedings in Theoretical Computer Science 166, pp. 94–110.
Published: 26th October 2014.

ArXived at: https://dx.doi.org/10.4204/EPTCS.166.10 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org