Author:
Baeten J. C. M.,Bergstra J. A.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. G. AUSTRY & G. BOUDOL, Algèbre de processus et synchronisation, TCS 30, 1984, pp. 91–131.
2. J.C.M. BAETEN & J.A. BERGSTRA, Global renaming operators in concrete process algebra, Information & Computation 78 (3), 1988, pp. 205–245.
3. J.C.M. BAETEN, J.A. BERGSTRA & J.W. KLOP, Syntax and defining equations for an interrupt mechanism in process algebra, Fundamenta Informaticae EX (2), 1986, pp. 127–168.
4. J.C.M. BAETEN, J.A. BERGSTRA, S. MAUW & G.J. VELTINK, A process specification formalism based on static COLD, report CS-R8930, CWI Amsterdam 1989. To appear in Proc. METEOR Workshop Methods based on Formal Specifications, Mierlo 1989 (L. Feijs & J.A. Bergstra, eds.), Springer LNCS.
5. J.C.M. BAETEN & W.P. WEIJLAND, Process algebra, Cambridge Tracts in TCS 18, Cambridge University Press 1990.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献