Cecilia, G. (2025). A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga.
Chicago Style (17th ed.) CitationCecilia, Gabriele. A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga. 2025.
MLA (9th ed.) CitationCecilia, Gabriele. A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga. 2025.
Warning: These citations may not always be 100% accurate.