Author:
Baeten J. C. M.,Bergstra J. A.
Reference10 articles.
1. J.C.M. Baeten & J.A. Bergstra. Global renaming operators in concrete process algebra. Inf. & Comp. 1988; 78:205–245.
2. NATO ASI Series;JCM Baeten,1992
3. Lecture Notes in Computer Science;JCM Baeten,1993
4. J.C.M. Baeten & W.P. Weijland. Process algebra. Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press 1990.
5. Technical Report;JA Bergstra,1993
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Processes with multiple entries and exits;Fundamentals of Computation Theory;1995