Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. Processes and the denotational semantics of concurrency;De Bakker;Information and Control,1982
2. Process algebra for synchronous communication;Bergstra;Information and Control,1984
3. An abstraction mechanism for process algebras;Bergstra,1983
4. Algebra of communicating processes;Bergstra,1985
5. Top-down design and the algebra of communicating processes;Bergstra;Sci. Comput. Program.,1985
Cited by
389 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Back to the format: A survey on SOS for probabilistic processes;Journal of Logical and Algebraic Methods in Programming;2024-02
2. Type-Based Verification of Delegated Control in Hybrid Systems;Lecture Notes in Computer Science;2024
3. Laws of Timed State Machines;The Computer Journal;2023-12-22
4. Validating communication of a dynamic traffic management system;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14
5. A Case in Point: Verification and Testing of a EULYNX Interface;Formal Aspects of Computing;2023-03-16