Computer Science ›› 2013, Vol. 40 ›› Issue (7): 24-27.
Previous Articles Next Articles
XU Dong,ZHU Gang and LI Jing
[1] Milner R.Bigraphical reactive systems[C]∥Proc.12th International Conference on Concurrency Theory,Lecture Notes in Computer Science 2154.Springer-Verlag,2001:16-35 [2] Milner R.The Space and Motion of Communicating Agents[M].Cambridge:Cambridge University Press,2009 [3] 贺伟.范畴论[M].北京:科学出版社,2007 [4] 陈意云.计算机科学中的范畴论[M].合肥:中国科学技术大学出版社,1982 [5] Milner R.Bigraphical Categories[C]∥CONCUR 2009-Concurrency Theory.Lecture Notes in Computer Science.Volume 5710,2009:30-36 |
No related articles found! |
|