Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard Controlling reversibility in higher-order pi. In: CONCUR 2011 – Concurrency Theory. Lecture Notes in Computer Science (6901). Springer, pp. 297-311. ISBN 978-3-642-23217-6 (2011)
Full text not available from this repository.Abstract
We present in this paper a fine-grained rollback primitive for the higher-order π-calculus (HOπ), that builds on the reversibility apparatus of reversible HOπ [9]. The definition of a proper semantics for such a primitive is a surprisingly delicate matter because of the potential interferences between concurrent rollbacks. We define in this paper a high-level operational semantics which we prove sound and complete with respect to reversible HOπ backward reduction. We also define a lower-level distributed semantics, which is closer to an actual implementation of the rollback primitive, and we prove it to be fully abstract with respect to the high-level semantics.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1007/978-3-642-23217-6_20 |
| Additional Information: | 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings Pages |
| Projects: | Partly funded by the EU project FP7-231620 HATS, the ANR-2010-SEGI-013 project AEOLUS, and the ANR-2010-BLAN-0305-01 project PiCoq |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Ms T. Iannizzi |
| Date Deposited: | 15 Jan 2015 13:12 |
| Last Modified: | 15 Jan 2015 13:12 |
| URI: | http://eprints.imtlucca.it/id/eprint/2489 |
Actions (login required)
 |
Edit Item |
