The Reversible Temporal Process Language-Reference-Cited by-同舟云学术

The Reversible Temporal Process Language

Published:2022 Issue: Volume: Page:31-49
ISSN:0302-9743
Container-title:Formal Techniques for Distributed Objects, Components, and Systems
language:
Short-container-title:

Author:

Bocchi Laura,Lanese Ivan,Mezzina Claudio Antares,Yuen Shoji

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-08679-3_3

Reference32 articles.

1. Bernardo, M., Corradini, F., Tesei, L.: Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions. Theor. Comput. Sci. 629, 2–39 (2016)

2. Lecture Notes in Computer Science;M Bernardo,2020

3. Bertolotti, I.C.: Real-time embedded operating systems. In: Zurawski, R. (ed.) Embedded Systems Handbook. CRC Press, Boca Raton (2005)

4. Bocchi, L., Lanese, I., Mezzina, C.A., Yuen, S.: The reversible temporal process language (technical report). Technical report (2022). http://www.cs.unibo.it/~lanese/work/TR/forte2022-tr.pdf

5. Lecture Notes in Computer Science;E Brinksma,2001

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Axiomatic Theory for Reversible Computation;ACM Transactions on Computational Logic;2024-04-16

2. revTPL: The Reversible Temporal Process Language;Logical Methods in Computer Science;2024-01-31

3. Towards a Taxonomy for Reversible Computation Approaches;Reversible Computation;2023

4. Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity;Lecture Notes in Computer Science;2023

5. Processes against tests: On defining contextual equivalences;Journal of Logical and Algebraic Methods in Programming;2022-11