Academic Journal
Static versus dynamic reversibility in CCS
| العنوان: | Static versus dynamic reversibility in CCS |
|---|---|
| المؤلفون: | Ivan Lanese, Doriana Medic, Claudio Antares Mezzina |
| المساهمون: | Ivan Lanese, Doriana Medic, Claudio Antares Mezzina |
| سنة النشر: | 2019 |
| المجموعة: | Università degli studi di Torino: AperTo (Archivio Istituzionale ad Accesso Aperto) |
| الوصف: | The notion of reversible computing is attracting interest because of its applications in diverse fields, in particular the study of programming abstractions for fault tolerant systems. Most computational models are not naturally reversible since computation causes loss of information, and history information must be stored to enable reversibility. In the literature, two approaches to reverse the CCS process calculus exist, differing on how history information is kept. Reversible CCS (RCCS), proposed by Danos and Krivine, exploits dedicated stacks of memories attached to each thread. CCS with Keys (CCSK), proposed by Phillips and Ulidowski, makes CCS operators static so that computation does not cause information loss. In this paper we show that RCCS and CCSK are equivalent in terms of LTS isomorphism. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/wos/WOS:000494792800001; volume:58; issue:1-2; firstpage:1; lastpage:34; numberofpages:34; journal:ACTA INFORMATICA; https://hdl.handle.net/2318/1891802; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85074843683 |
| DOI: | 10.1007/s00236-019-00346-6 |
| الاتاحة: | https://hdl.handle.net/2318/1891802 https://doi.org/10.1007/s00236-019-00346-6 |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.3144CB7F |
| قاعدة البيانات: | BASE |
| DOI: | 10.1007/s00236-019-00346-6 |
|---|