Author:
Gibson-Robinson Thomas,Armstrong Philip,Boulgakov Alexandre,Roscoe Andrew W.
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Inc., Upper Saddle River (1985)
2. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice Hall (1997)
3. Roscoe, A.W.: Understanding Concurrent Systems. Springer (2010)
4. Lecture Notes in Computer Science;J. Lawrence,2005
5. Mota, A., Sampaio, A.: Model-checking CSP-Z: strategy, tool support and industrial application. Science of Computer Programming 40(1) (2001)
Cited by
133 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献