A symmetric protocol to establish service level agreements

We present a symmetrical protocol to repeatedly negotiate a desired service level between two parties, where the service levels are taken from some totally ordered finite domain. The agreed service level is selected from levels dynamically proposed by both parties and parties can only decrease the d...

Full description

Bibliographic Details
Main Authors: Jan Friso Groote, Tim A. C. Willemse
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2020-09-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/6044/pdf