CJoin: Join with communicating transactions
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...
Autores principales: | Bruni, R., Melgratti, H., Montanari, U. |
---|---|
Formato: | JOUR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_09601295_v25_n3_p566_Bruni |
Aporte de: |
Ejemplares similares
-
CJoin: Join with communicating transactions
Publicado: (2015) -
On abstract normalisation beyond neededness
por: Bonelli, Eduardo, et al.
Publicado: (2017) -
On abstract normalisation beyond neededness
por: Bonelli, E., et al. -
Type Soundness for Path Polymorphism
por: Bonelli, Eduardo
Publicado: (2016) -
Type Soundness for Path Polymorphism
por: Viso, A., et al.