Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017)
|
PDF
- Submitted Version
Available under License Creative Commons Attribution Non-commercial. Download (466kB) | Preview |
Official URL: http://dx.doi.org/10.1016/j.jlamp.2016.09.003
| Item Type: | Article |
|---|---|
| Identification Number: | https://doi.org/10.1016/j.jlamp.2016.09.003 |
| Uncontrolled Keywords: | Reversible computation; Process algebra; Tuple space; Klaim |
| Subjects: | Q Science > Q Science (General) Q Science > QA Mathematics > QA76 Computer software |
| Research Area: | Computer Science and Applications |
| Depositing User: | Claudio Antares Mezzina |
| Date Deposited: | 28 Apr 2017 09:28 |
| Last Modified: | 28 Apr 2017 09:28 |
| URI: | http://eprints.imtlucca.it/id/eprint/3661 |
Actions (login required)
 |
Edit Item |
