個人簡介
鍾發榮，浙江師範大學數理信息學院教授。
研究方向
移動進程演算；Web服務組合
主講課程
計算機圖形學、數據結構、編譯原理、人工智慧
科研項目
1． 異步非對稱chi-演算的弱互模擬同餘研究(Y105272)，主持，浙江省自然科學基金項目，2006.1-2007.12，已結題
2． 面向諧波檢測的嵌入式系統的研究與開發(2006C21018)，主持，浙江省科技計畫重點項目，2006.1-2008.6，已上交材料，已結題
3． Web服務的容錯編制研究(60873234)，主持，國家自然科學基金項目，2009.1-2011.12，在研
論文著作
1． 鍾發榮，傅育熙. 非對稱帶不等運算元chi-演算的基同餘，計算機學報，ISSN 0254-4164，28(10)：1626-1637，2005.10. EI
2． 鍾發榮，賈�，陳建明，傅育熙. 消除有限容量演算中的強幹擾，上海交通大學學報，ISSN 1006-2467，39(8)：1317-1321，2005.8. EI
3． Farong zhong. The early and late congruences for asymmetric chi-calculus with mismatch, Lecture Notes in Computer Science，ISSN 0302-9743，3314：371-378，2004.12. SCI(BBO38)，ISTP(BBO38)
4． Farong ZHONG，Yuxi FU，Yonggen GU. Avoiding grave interference in BoCa，Proceedings of 2004 International Conference on Machine Learning and Cybernetics，IEEE Computer Society Press，ISBN 0-7803-8403-2，1：444-449，2004.8. EI，ISTP(BBF92)
5． Farong ZHONG，Yuxi FU，Xiaoju DONG. Bisimulation congruence for asymmetric chi-calculus with mismatch，Proceedings of Fifth International Symposium on Parallel and Distributed Computing，IEEE Computer Society Press，ISBN 0-7695-2638-1，173-181，2006.7. EI
6． Farong ZHONG. Asymmetric chi-calculus with mismatch，淮北煤炭師院學報，ISSN 1672-7177，27(2)：1-13，2006.6.
7． Xiaoju DONG，Farong ZHONG，Yuxi FU. Bisimulation lattice of asymmetric chi calculus with mismatch，High Technology Letters，ISSN 1006-6748，9(4):50-55，2003.12. EI
8． Huaiguang WU，Farong ZHONG，Zhejie DUAN. A pi-calculus based model for web service composition，Proceedings of the First International Symposium on Pervasive Computing and Applications，IEEE Computer Society Press，ISBN 1-4244-0325-1，613-618，2006.8. EI，ISTP(BFB62)
9． Huaiguang WU，Farong ZHONG. The relation between Web Services orchestration and choreography，Proceedings of the First International Conference on Computer Science and Education，Xiamen University Press，ISBN 7-5615-2582-6，716-718，2006.7. ISTP(BFD83)
10． Huaiguang WU，Farong ZHONG. A Study of Web Services Transactions Based on Real-time p-Calculus，Proceedings of the Second International Conference on Semantics Knowledge and Grid，IEEE Computer Society Press，ISBN 0-7695-2673-X，90-90，2006.11. EI
11． 黃銀強，鍾發榮. 非對稱chi-演算的符號互模擬驗證算法，微電子學與計算機，ISSN 1000-7180，23(9)：193-196，2006.9
12． Chang YANG，Farong ZHONG，Haiming TANG. A Pi-calculus based formal description for orchestration/bpel 2.0 processes, Journal of Harbin Institute of Technology (New Series)，ISSN 1005-9113，15(SUPPL.)：124-130，2008.4. EI
13． Haiming TANG，Farong ZHONG，Chang YANG. A Tree-based Method of Web Service Composition，Proceedings of the Three International Symposium on Pervasive Computing and Applications，International Academic Publishers Ltd., ISBN 978-1-4244-2020-9, 204-209，2008.10. EI
14． Zhifeng ZHU，Farong ZHONG. Testing Equivalence for Asymmetric x-Calculus，Proceedings of the IASTED Asian Conference on Modelling and Simulation，ACTA Press， ISBN 978-0-88986-701-7，(571-102)：1-6，2007.10. EI
15． Jiajie WU, Farong ZHONG, Yufang QIU. A Dynamic Compensation Mechanism for Web Transactions. Proceedings of 2009 IEEE International Conference on Services Computing, IEEE Computer Society Press, ISBN 978-0-7695-3811-2, 509-512, 2009.9. EI
16． Li ZHAO, Qing LI, Farong ZHONG. A Visual Modeling Framework of Workflow Systems Based on CCS. Proceedings of the 5th International Conference on Semantics, Knowledge and Grid, IEEE Computer Society Press, ISBN 978-0-7695-3810-5, 200-207,2009.10 EI
17． Huan Liu, Farong Zhong, Bang Ouyang and Jiajie Wu. An Approach for QoS-aware Web Service Composition based on Improved Genetic Algorithm. Proceedings of 2010 International Conference on Web Information Systems and Mining, IEEE Computer Society Press, ISBN 978-0-7695-4224-9, 123-128, 2010.10
18． Nanshan Du, Qing Li, Yiwen Liang, Farong Zhong. Actor petri net Model: toward Suitable and Flexible Level Representation of Scientific Workflows. Proceedings of the 25th International Symposium on Computer and Information Sciences, Lecture Notes in Electrical Engineering 62: 79-84, 978-90-481-9793-4, 2010.9
