Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bisimilarity in Fresh-Register Automata;2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science;2015-07
2. Inferring Canonical Register Automata;Lecture Notes in Computer Science;2012
3. From Active Names to π-calculus Rewriting Rules;Electronic Notes in Theoretical Computer Science;2005-05
4. A Study On The Potential Active Names of π-Agents;Electronic Notes in Theoretical Computer Science;2004-05
5. Checking Strong Open Congruence in χ-Calculus;Electronic Notes in Theoretical Computer Science;2004-02