Publisher
Open Publishing Association
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Comparing the Expressiveness of the π-calculus and CCS;ACM Transactions on Computational Logic;2023-11-18
2. On the Expressiveness of Mixed Choice Sessions;Electronic Proceedings in Theoretical Computer Science;2022-09-06
3. From CCS to CSP: the m-among-n Synchronisation Approach;Electronic Proceedings in Theoretical Computer Science;2022-09-06
4. Comparing the expressiveness of the $$\pi $$-calculus and CCS;Programming Languages and Systems;2022
5. Translation of CCS into CSP, Correct up to Strong Bisimulation;Software Engineering and Formal Methods;2021