Bocchi, Laura, Melgratti, Hernán, Tuosto, Emilio (2014) Resolving Non-Determinism in Choreographies. In: Programming Languages and Systems: European Symposium on Programming (ESOP). European Symposium on Programming (ESOP). Lecture Notes in Computer Science . pp. 493-512. Springer, Berlin, Germany ISBN 978-3-642-54832-1. E-ISBN 978-3-642-54833-8. (doi:10.1007/978-3-642-54833-8_26) (KAR id:43733)
|
PDF
Language: English |
|
|
Download this file (PDF/691kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| Official URL: http://dx.doi.org/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: | Conference or workshop item (Paper) |
|---|---|
| DOI/Identification number: | 10.1007/978-3-642-54833-8_26 |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA299 Analysis, Calculus |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | Laura Bocchi |
| Date Deposited: | 05 Nov 2014 10:19 UTC |
| Last Modified: | 10 Dec 2022 23:10 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/43733 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Bocchi, Laura.
| Creator's ORCID: |
 https://orcid.org/0000-0002-7177-9395
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
