Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A thesis for interaction;Theoretical Computer Science;2022-01
2. Quasi-Open Bisimilarity with Mismatch is Intuitionistic;Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science;2018-07-09
3. Remark on Some $$\pi $$ Variants;Dependable Software Engineering. Theories, Tools, and Applications;2017
4. Theory of interaction;Theoretical Computer Science;2016-01
5. A behavioural theory for a π-calculus with preorders;Journal of Logical and Algebraic Methods in Programming;2015-11