A parametric framework for reversible pi-calculi
- Submitting institution
-
Imperial College of Science, Technology and Medicine
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 5174
- Type
- D - Journal article
- DOI
-
10.1016/j.ic.2020.104644
- Title of journal
- Information and Computation
- Article number
- ARTN 104644
- First page
- -
- Volume
- 275
- Issue
- 10
- ISSN
- 0890-5401
- Open access status
- Compliant
- Month of publication
- November
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
-
- Citation count
- 0
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This work integrates existing approaches to reversibility for the pi-calculus and extends them to allow reversibility to be added to widely-used (forward-only) semantics. Mezzina and Phillips were WG leaders of COST Action IC1405 on Reversible Computation, and this paper is central to the concerns of the Action. It was one of the three papers selected as a Special Issue of EXPRESS/SOS'18 (https://www.sciencedirect.com/journal/information-and-computation/special-issue/10PDCWR6WLG). The work was partly carried out during an internship by Medic at Imperial in 2018, and it was part of the portfolio that led to Mezzina being appointed to a permanent position at Urbino in 2019.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
