Mostrar el registro sencillo del ítem

dc.contributor.author
Bruni, Roberto  
dc.contributor.author
Melgratti, Hernan Claudio  
dc.contributor.author
Montanari, Ugo  
dc.date.available
2018-09-13T17:49:17Z  
dc.date.issued
2015-03  
dc.identifier.citation
Bruni, Roberto; Melgratti, Hernan Claudio; Montanari, Ugo; CJoin: Join with communicating transactions; Cambridge University Press; Mathematical Structures In Computer Science; 25; 3; 3-2015; 566-618  
dc.identifier.issn
0960-1295  
dc.identifier.uri
http://hdl.handle.net/11336/59541  
dc.description.abstract
This paper proposes a formal approach to the design and programming of long running transactions (LRTs). We exploit techniques from process calculi to define cJoin, which is an extension of the Join calculus with few well-disciplined primitives for LRT. Transactions in cJoin are intended to describe the transactional interaction of several partners, under the assumption that any partner executing a transaction may communicate only with other transactional partners. In such case, the transactions run by any party are bound to achieve the same outcome (i.e., all succeed or all fail). Hence, a distinguishing feature of cJoin, called dynamic joinability, is that ongoing transactions can be merged to complete their tasks and when this happens either all succeed or all abort. Additionally, cJoin is based on compensations i.e., partial executions of transactions are recovered by executing user-defined programs instead of providing automatic rollback. The expressiveness and generality of cJoin is demonstrated by many examples addressing common programming patterns. The mathematical foundation is accompanied by a prototype language implementation, which is an extension of the JoCaml compiler.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Cambridge University Press  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Process Calculi  
dc.subject
Transactions  
dc.subject
Join  
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
CJoin: Join with communicating transactions  
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
2018-09-13T13:14:52Z  
dc.journal.volume
25  
dc.journal.number
3  
dc.journal.pagination
566-618  
dc.journal.pais
Reino Unido  
dc.journal.ciudad
Cambridge  
dc.description.fil
Fil: Bruni, Roberto. Università degli Studi di Pisa; Italia  
dc.description.fil
Fil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación En Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación En Ciencias de la Computacion; Argentina  
dc.description.fil
Fil: Montanari, Ugo. Università degli Studi di Pisa; Italia  
dc.journal.title
Mathematical Structures In Computer Science  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/cjoin-join-with-communicating-transactions/EC7A5B7885492FCE251BFBBB8AC9B14C  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1017/S0960129512000928