Dynamic recovering of long running transactions

Most business applications rely on the notion of long running transaction as a fundamental building block. This paper presents a calculus for modelling long running transactions within the framework of the π-calculus, with support for compensation as a recovery mechanism. The underlying model of thi...

Full description

Bibliographic Details
Main Author: Vaz, Cátia (author)
Other Authors: Ferreira, Carla (author), Ravara, António (author)
Format: conferenceObject
Language:eng
Published: 2021
Subjects:
Operational semantic
Execution process
Compensation process
Execution context
Type safety
Online Access:http://hdl.handle.net/10400.21/13341
Country:Portugal
Oai:oai:repositorio.ipl.pt:10400.21/13341

Internet

http://hdl.handle.net/10400.21/13341

Similar Items