@article{lmcs:6044, title = {A symmetric protocol to establish service level agreements}, author = {Jan Friso Groote and Tim A. C. Willemse}, url = {https://lmcs.episciences.org/6044}, doi = {10.23638/LMCS-16(3:19)2020}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 16, Issue 3}, eid = 19, year = {2020}, month = {Sep}, keywords = {Computer Science - Logic in Computer Science}, }