Event Structures for the Reversible Early Internal $$\pi $$-Calculus
Attributed to:
Reversibility of the Pi-Calculus and Session Types
funded by
EPSRC
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