Funder
National Science Foundation Division of Computing and Communication Foundations
Augusta University
National Science Foundation
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference53 articles.
1. Reversible computing and implicit computational complexity;Kristiansen;Sci. Comput. Program.,2022
2. Debugging concurrent programs;McDowell;ACM Comput. Surv.,1989
3. Diamonds for security: a non-interleaving operational semantics for the applied pi-calculus;Aubert,2022
4. Term Rewriting and All That;Baader,1998
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Reversible Computation;Lecture Notes in Computer Science;2024