Author:
Baeten J. C. M.,Verhoef C.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. L. Aceto, M. Hennessy, Termination, deadlock and divergence, JACM 39(1):147–187, 1992.
2. J. C. M. Baeten, J. A. Bergstra, Discrete Time Process Algebra, Report P9208b, Programming Research Group, University of Amsterdam, 1992.
3. LNCS 458;J. C. M. M. Baeten,1990
4. J. C. M. Baeten, J. A. Bergstra, J. W. Klop, On the consistency of Koomen's fair abstraction rule, TCS 51(1/2), pp. 129–176, 1987.
5. J. C. M. Baeten, J. A. Bergstra, J. W. Klop, Syntax and defining equations for an interrupt mechanism in process algebra, Fundamenta Informaticae IX, pp. 127–168, 1986.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献