Author:
Bergstra Jan A.,Bethke Inge,Ponse Alban
Reference23 articles.
1. T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems,14:25–29. Elsevier Science Publishers, 1987.
2. J.C.M. Baeten and J.A. Bergstra. Global renaming operators in concrete process algebra. Information and Computation, 78(3):205–245, 1988.
3. J. A. Bergstra, I. Bethke and A. Ponse. Process algebra with nesting and iteration. Report P9314a (revised version of Report P9314), Programming Research Group, University of Amsterdam, 1994. To appear in The Computer Journal.
4. M. Bezem and J. F. Groote. A formal verification of the Alternating Bit Protocol in the Calculus of Constructions. Logic Group Preprint Series, no. 88, Department of Philosophy, University of Utrecht, 1993.
5. J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60(1/3):109–137, 1984.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献