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...

Descripción completa

Detalles Bibliográficos
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