Skip to main content

The Reversible Temporal Process Language

Bocchi, Laura, Lanese, Ivan, Mezzina, Claudio Antares, Yuen, Shoji (2022) The Reversible Temporal Process Language. In: Mousavi, Mohammad Reza and Philippou, Anna, eds. Formal Techniques for Distributed Objects, Components, and Systems. 42nd IFIP WG 6.1 International Conference, FORTE 2022. Lecture Notes in Computer Science . Springer ISBN 978-3-031-08678-6. (doi:10.1007/978-3-031-08679-3_3) (KAR id:98302)

PDF Author's Accepted Manuscript
Language: English
Click to download this file (513kB) Preview
[thumbnail of timed.pdf]
This file may not be suitable for users of assistive technology.
Request an accessible format
Official URL:


Reversible debuggers help programmers to quickly find the causes of misbehaviours in concurrent programs. These debuggers can be founded on the well-studied theory of causal-consistent reversibility, which allows one to undo any action provided that its consequences are undone beforehand. Till now, causal-consistent reversibility never considered time, a key aspect in real world applications. Here, we study the interplay between reversibility and time in concurrent systems via a process algebra. The Temporal Process Language (TPL) by Hennessy and Regan is a well-understood extension of CCS with discrete-time and a timeout operator. We define revTPL, a reversible extension of TPL, and we show that it satisfies the properties expected from a causal-consistent reversible calculus. We show that, alternatively, revTPL can be interpreted as an extension of reversible CCS with time.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.1007/978-3-031-08679-3_3
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Funders: Engineering and Physical Sciences Research Council (
European Union (
Depositing User: Laura Bocchi
Date Deposited: 24 Nov 2022 12:45 UTC
Last Modified: 25 Nov 2022 10:14 UTC
Resource URI: (The current URI for this page, for reference purposes)
Bocchi, Laura:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.