Resolving Non-determinism in Choreographies

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionImperial College London
dc.conicet.organizacionUniversidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionUniversity of Leicester
dc.conicet.paisOrganizacionReino Unido
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionReino Unido
dc.conicet.produccionid5114998
dc.contributor.authorBocchi, Laura
dc.contributor.authorMelgratti, Hernan Claudio
dc.contributor.authorTuosto, Emilio
dc.date.accessioned2018-04-10T20:39:28Z
dc.date.available2018-04-10T20:39:28Z
dc.date.issued2014-04
dc.date.updated2017-12-29T14:19:17Z
dc.description.abstractResolving 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.es
dc.description.filFil: Bocchi, Laura. Imperial College London; Reino Unido
dc.description.filFil: Melgratti, Hernan Claudio. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Computación; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.filFil: Tuosto, Emilio. University of Leicester; Reino Unido
dc.formatapplication/pdfes
dc.identifier.citationBocchi, Laura; Melgratti, Hernan Claudio; Tuosto, Emilio; Resolving Non-determinism in Choreographies; Springer; Lecture Notes in Computer Science; 8410; 4-2014; 493-512es
dc.identifier.institucionalCONICET
dc.identifier.issn0302-9743es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/41627
dc.journal.ciudadBerlínes
dc.journal.pagination493-512es
dc.journal.paisAlemaniaes
dc.journal.titleLecture Notes in Computer Sciencees
dc.journal.volume8410es
dc.language.isoenges
dc.publisherSpringeres
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-642-54833-8_26
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/978-3-642-54833-8_26
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectConcurrenciaes
dc.subjectLocal Typees
dc.subjectTyping Rulees
dc.subjectDenotational Semantices
dc.subjectConditional Simulationes
dc.subjectSession Typees
dc.subject.classificationCiencias de la Computaciónes
dc.subject.classificationCiencias de la Computación e Informaciónes
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleResolving Non-determinism in Choreographieses
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.de183638-ba47-4065-adc4-d3ddc67cee5a_A.pdf
Tamaño:
317.92 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(OCA CIUDAD UNIVERSITARIA)
Volver a la Vista simple