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 (691kB)
Preview
|
Preview |
|
This file may not be suitable for users of assistive technology.
Request an accessible format
|
|
| 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) |
| Bocchi, Laura: |  https://orcid.org/0000-0002-7177-9395 |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
