Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Games for Bisimulations and Abstraction

David De Frutos Escrig ; Jeroen J. A. Keiren ; Tim A. C. Willemse.
Weak bisimulations are typically used in process algebras where silent steps are used to abstract from internal behaviours. They facilitate relating implementations to specifications. When an implementation fails to conform to its specification, pinpointing the root cause can be challenging. In this&nbsp;[&hellip;]
Published on November 28, 2017
Volume 13, Issue 4

A symmetric protocol to establish service level agreements

Jan Friso Groote ; Tim A. C. Willemse.
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&nbsp;[&hellip;]
Published on September 30, 2020
Volume 16, Issue 3
  • < Previous
  • 1
  • Next >