Author:
Bergstra J. A.,Klop J. W.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. DE BAKKER, J.W. & J.I. ZUCKER, Compactness in semantics for merge and fair merge, Report IW 238/83, Mathematisch Centrum Amsterdam 1983.
2. BARTLETT, K.A., R.A. SCANTLEBURY & P.T. WILKINSON, A note on reliable full-duplex transmission over half duplex lines, CACM 12, No.5 (1969).
3. BERGSTRA, J.A. & J.W. KLOP, Process Algebra for Synchronous Communication, Information and Control, Vol.60, Nos.1–3, 1984, 109–137.
4. BERGSTRA, J.A. & J.W. KLOP, Algebra of Communicating Processes, to appear in Proc. of the CWI Symposium Mathematics and Computer Science (eds. J.W. de Bakker, M. Hazewinkel and J.K. Lenstra), North-Holland, Amsterdam 1985.
5. BERGSTRA, J.A. & J.W. KLOP, Algebra of Communicating Processes with abstraction, to appear in Theoretical Computer Science, 1985.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献