Event Structures for the Reversible Early Internal $$\pi $$-Calculus

First Author: Graversen E

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-52482-1_4

Publication URI: http://dx.doi.org/10.1007/978-3-030-52482-1_4

Type: Book Chapter

Book Title: Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings (2020)

Page Reference: 71-90

ISSN: 1436-3798