Author:
Cleaveland Rance,Panangaden Prakash
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference19 articles.
1. Lecture Notes in Computer;C. Stirling,1985
2. R. Milner, Calculi for Synchrony and Asynchrony,Theoretical Computer Science 25(3):267?310 (July 1983).
3. S. Brookes, C. A. R. Hoare, and A. Roscoe, A Theory of Communicating Sequential Processes,Journal of the Association for Computing Machinery 31(3):560?599 (July 1984).
4. C. A. R. Hoare,Communicating Sequential Processes, Prentice-Hall International, London (1985).
5. Lecture Notes in Computer Science;R. Milner,1980
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献