On primitives for compensation handling as adaptable processes

DOI10.1016/j.jlamp.2021.100675OpenAlexW3136927158MaRDI QIDQ2043807

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

Publication date: 3 August 2021

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/30759

zbMATH Keywords

concurrencyprocess calculirelative expressivenesscompensation handlingdynamic update

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Modular rewritable Petri nets: an efficient model for dynamic distributed systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the analysis of compensation correctness
• A calculus of mobile processes. I
• Mobile ambients
• Towards a unified approach to encodability and separation results for process calculi
• The seal calculus
• Expressiveness of Process Algebras
• On the Expressive Power of Primitives for Compensation Handling
• On the expressive power of process interruption and compensation
• Adaptable processes
• Global Computing
• Foundations of Software Science and Computational Structures
• Formal Methods for Open Object-Based Distributed Systems

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