학술논문
Concurrent RSSA for CRIL: Flow Analysis for a Concurrent Reversible Programming Language
Document Type
Conference Paper
Author
Source
In: Reversible Computation - 16th International Conference, RC 2024, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14680 LNCS:181-200)
Subject
Language
English
ISSN
16113349
03029743
03029743