The Reversible Temporal Process Language

First Author: Bocchi L

Attributed to: Time-sensitive protocol design and implementation funded by EPSRC

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