The Reversible Temporal Process Language

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings

Journal number: 13273

Journal publisher: Springer

Published year: 2022

Published pages: 31-49

DOI identifier: 10.1007/978-3-031-08679-3_3