Author:
de Boer F. S.,Coenen J.,Gerth R.
Reference16 articles.
1. P. Aczel. Non-well-founded sets. Number 14 in CSLI Lecture Notes. 1988.
2. American National Standards Institute, Inc. The Programming Language Ada Reference Manual. LNCS 155, Springer-Verlag 1983.
3. J.A. Bergstra & J.W. Klop. Process Algebra for Synchronous Communication. Information and Control 60: 109–137, 1984.
4. J.C.M. Baeten & W.P. Wetland. Process Algebra. Cambridge Tracts in Theoretical Computer Science, Vol 18, 1990.
5. F. Cristian. A Rigorous Approach to Fault-Tolerant Programming. IEEE Transactions on Software Engineering 11: 23–31, 1985.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献