Author:
Baeten Jos C. M.,Vaandrager Frits W.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference36 articles.
1. ESPRIT project 415, Nr. 0091;P. America,1985
2. [AB] America, P., Bakker, J.W. de: Designing equivalent semantic models for process creation. Theoret Comput. Sci.60, 109?176 (1988)
3. ANSI/MIL-STD 1815 A;ANSI,1983
4. [AuB] Austry, D., Boudol, G.: Algèbre de processus et synchronisation. Theoret. Comput. Sci.30, 91?131 (1984)
5. [BB] Baeten, J.C.M., Bergstra, J.A.: Global renaming operators in concrete process algebra. Inf. Comput.78, 205?245 (1988)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. References;Handbook of Truly Concurrent Process Algebra;2024
2. Truly concurrent process algebra;Handbook of Truly Concurrent Process Algebra;2024
3. Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction;Lecture Notes in Computer Science;2022
4. Probabilistic Process Algebra and Strategic Interleaving;Scientific Annals of Computer Science;2020-12-21
5. Process Algebra with Strategic Interleaving;Theory of Computing Systems;2018-08-08