Published in
Springer, Lecture Notes in Computer Science, p. 144-162, 2021
DOI: 10.1007/978-3-030-79837-6_9
Links
Tools
Explicit Identifiers and Contexts in Reversible Concurrent Calculus
Proceedings article published in 2021 by
Clément Aubert 
,
Doriana Medić
,
Doriana Medić
This paper is available in a repository.
Full text: Download
Preprint: archiving forbidden
Published version:
archiving forbidden
Data provided by 