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:
Formal approach
Join calculus
Language implementations
Long-running transactions
Mathematical foundations
Partial executions
Process calculi
Programming patterns
Calculations
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_09601295_v25_n3_p566_Bruni
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares