The Reversible Temporal Process Language
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-08679-3_3
Publication URI: http://dx.doi.org/10.1007/978-3-031-08679-3_3
Type: Book Chapter
Book 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 (2022)
Page Reference: 31-49