Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/5358
Title: | On compensation primitives as adaptable processes | Authors: | Dedeić, Jovana Pantović, Jovanka Perez J. |
Issue Date: | 26-Aug-2015 | Journal: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Abstract: | We compare mechanisms for compensation handling and dynamic update in calculi for concurrency. These mechanisms are increasingly relevant in the specification of reliable communicating systems. Compensations and updates are intuitively similar: both specify how the behavior of a concurrent system changes at runtime in response to an exceptional event. However, calculi with compensations and updates are technically quite different. We investigate the relative expressiveness of these calculi: we develop encodings of core process languages with compensations into a calculus of adaptable processes developed in prior work. Our encodings shed light on the (intricate) semantics of compensation handling and its key constructs. They also enable the transference of existing verification and reasoning techniques for adaptable processes to core languages with compensation handling. | URI: | https://open.uns.ac.rs/handle/123456789/5358 | ISSN: | 20752180 | DOI: | 10.4204/EPTCS.190.2 |
Appears in Collections: | FTN Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
3
checked on May 6, 2023
Page view(s)
34
Last Week
14
14
Last month
6
6
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.