Skip to main content

Resolving Non-Determinism in Choreographies

Bocchi, Laura and Melgratti, Hernán and Tuosto, Emilio (2014) Resolving Non-Determinism in Choreographies. In: Programming Languages and Systems 23rd European Symposium on Programming. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 493-512. ISBN 978-3-642-54832-1. E-ISBN 978-3-642-54833-8. (doi:10.1007/978-3-642-54833-8_26)

Abstract

Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non-deterministic choice. We show that, under some conditions, it is decidable whether an implementation is whole-spectrum. As a case study, we analyse the POP protocol under the lens of whole-spectrum implementation.

Item Type: Book section
DOI/Identification number: 10.1007/978-3-642-54833-8_26
Subjects: Q Science > QA Mathematics (inc Computing science) > QA299 Analysis, Calculus
Divisions: Faculties > Sciences > School of Computing
Depositing User: Laura Bocchi
Date Deposited: 05 Nov 2014 10:19 UTC
Last Modified: 29 May 2019 13:17 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/43733 (The current URI for this page, for reference purposes)
Bocchi, Laura: https://orcid.org/0000-0002-7177-9395
  • Depositors only (login required):

Downloads

Downloads per month over past year