Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference111 articles.
1. A Calculus of Communicating Systems;Milner,1980
2. Communication and Concurrency;Milner,1989
3. A theory of communicating sequential processes;Brookes;J. ACM,1984
4. Communicating Sequential Processes;Hoare,1985
5. Understanding Concurrent Systems;Roscoe,2010
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Store Locally, Prove Globally;Theoretical Aspects of Computing – ICTAC 2023;2023
2. A new process algebra more suitable for formal specification;2021 4th International Conference on Computer Science and Software Engineering (CSSE 2021);2021-10-22
3. Translation of CCS into CSP, Correct up to Strong Bisimulation;Software Engineering and Formal Methods;2021
4. Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm;Electronic Proceedings in Theoretical Computer Science;2018-03-23
5. The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark;Electronic Proceedings in Theoretical Computer Science;2017-03-15