Mostrar el registro sencillo del ítem

dc.contributor.author
Bocchi, Laura  
dc.contributor.author
Melgratti, Hernan Claudio  
dc.contributor.author
Tuosto, Emilio  
dc.date.available
2018-04-10T20:39:28Z  
dc.date.issued
2014-04  
dc.identifier.citation
Bocchi, Laura; Melgratti, Hernan Claudio; Tuosto, Emilio; Resolving Non-determinism in Choreographies; Springer; Lecture Notes in Computer Science; 8410; 4-2014; 493-512  
dc.identifier.issn
0302-9743  
dc.identifier.uri
http://hdl.handle.net/11336/41627  
dc.description.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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Concurrencia  
dc.subject
Local Type  
dc.subject
Typing Rule  
dc.subject
Denotational Semantic  
dc.subject
Conditional Simulation  
dc.subject
Session Type  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Resolving Non-determinism in Choreographies  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2017-12-29T14:19:17Z  
dc.journal.volume
8410  
dc.journal.pagination
493-512  
dc.journal.pais
Alemania  
dc.journal.ciudad
Berlín  
dc.description.fil
Fil: Bocchi, Laura. Imperial College London; Reino Unido  
dc.description.fil
Fil: 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.fil
Fil: Tuosto, Emilio. University of Leicester; Reino Unido  
dc.journal.title
Lecture Notes in Computer Science  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-642-54833-8_26  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/978-3-642-54833-8_26  

Archivos asociados
Thumbnail
 
Tamaño: 317.9Kb
Formato: PDF
.