Author:
Bergstra J. A.,Klop J. W.,Tucker J. V.
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. ADJ (GOGUEN, J.A., THATCHER, J.W., WAGNER, G.E. & J.B. WRIGHT), Initial algebra semantics and continuous algebras, JACM Vol. 24, Nr. 1, p.68–95 (1975).
2. AUSTRY, D. & G. BOUDOL, Algèbre de processus et synchronisation, Theoretical Computer Science 30 (1984), p.91–131.
3. DE BAKKER, J.W. & J.I. ZUCKER, Denotational semantics of concurrency, Proc. 14th ACM Symp. on Theory of Computing, p.153–158, 1982.
4. DE BAKKER, J.A. & J.I. ZUCKER, Processes and the denotational semantics of concurrency, Information and Control, Vol. 54, No. 1/2, p.70–120, 1982.
5. BERGSTRA, J. A., HEERING, J., KLINT, P., & J.W. KLOP, Een analyse van de case-study HμP, mimeographed notes, Centrum voor Wiskunde en Informatica, Amsterdam 1984.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献