Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
60 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Processes against tests: On defining contextual equivalences;Journal of Logical and Algebraic Methods in Programming;2022-11
2. Processes, Systems & Tests: Defining Contextual Equivalences;Electronic Proceedings in Theoretical Computer Science;2021-10-02
3. Lightweight Information Flow;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
4. Testing for Coordination Fidelity;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. Theory of interaction;Theoretical Computer Science;2016-01