On compensation primitives as adaptable processes

MaRDI QIDQ5013869zbMATH OpenFDO

Authors Jovana Dedeić, Jovanka Pantović, Jorge A. Pérez

Publication date 3 December 2021

Full work available at URL https://arxiv.org/abs/1508.06709, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2015.2

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On primitives for compensation handling as adaptable processes
• On the Expressive Power of Primitives for Compensation Handling
• General dynamic recovery for compensating CSP
• Adaptable processes
• scientific article; zbMATH DE number 2079809

Cites work

• A calculus for long-running transactions.
• A calculus of mobile processes. I
• Adaptable processes
• Event-based run-time adaptation in communication-centric systems
• Foundations of Software Science and Computational Structures
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• On the Expressive Power of Primitives for Compensation Handling
• On the expressive power of process interruption and compensation
• Structured Interactional Exceptions in Session Types
• Towards a unified approach to encodability and separation results for process calculi

Cited in

(5)

• The \(C_\pi\)-calculus: a model for confidential name passing
• On primitives for compensation handling as adaptable processes
• Safer asynchronous runtime monitoring using compensations
• On the Expressive Power of Primitives for Compensation Handling
• General dynamic recovery for compensating CSP

This page was built for publication: On compensation primitives as adaptable processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5013869)