Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/5358
Nаziv: | On compensation primitives as adaptable processes | Аutоri: | Dedeić, Jovana Pantović, Jovanka Perez J. |
Dаtum izdаvаnjа: | 26-авг-2015 | Čаsоpis: | Electronic Proceedings in Theoretical Computer Science, EPTCS | Sažetak: | 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 |
Nаlаzi sе u kоlеkciјаmа: | FTN Publikacije/Publications |
Prikаzаti cеlоkupаn zаpis stаvki
SCOPUSTM
Nаvоđеnjа
3
prоvеrеnо 06.05.2023.
Prеglеd/i stаnicа
34
Prоtеklа nеdеljа
14
14
Prоtеkli mеsеc
6
6
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Аlt mеtrikа
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.