Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Brookes, S.: A model for communicating sequential processes, D. Phil. thesis, Oxford University (1983)
2. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. JACM 31(3), 560–599 (1984)
3. Lecture Notes in Computer Science;S. Brookes,1985
4. Brookes, S.: Full abstraction for a shared-variable parallel language. In: Proc. 8th IEEE Symposium on Logic in Computer Science, pp. 98–109. IEEE Computer Society Press, Los Alamitos (1993)
5. Brookes, S.: Fair communicating processes. In: Roscoe, A.W. (ed.) A Classical Mind: Essays in Honour of C.A.R. Hoare, pp. 59–74. Prentice-Hall International, Englewood Cliffs (1994)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Finding Effective Abstractions;Theories of Programming;2021-10-02