钟发荣
professor
Gender : Male
Alma Mater : 上海交通大学
Education Level : Graduate student graduate
Degree : Doctorate
Status : 退休
School/Department : 计算机科学与技术学院
Date of Employment : 1986-07-01
Hits :
First Author : Zhenguo Yang
Affiliation of Author(s): 数理与信息工程学院
Date of Publication : 2015-01-01
Document Type : 期刊
Journal : International Journal of Computational Science and Engineering
Volume: Vol.10
Issue : No.3
Page Number : 253-262
ISSN : 1742-7185
Translation or Not : no
Key Words : communication-centred;programming;subtyping;bounded;polymorphism;partial;commutativity;session;types;action;permutation;action;progress;asynchronous;binary;sessions;runtime;safety.
Abstract : A type system with asynchronous binary sessions is generalised by asynchronous communication subtyping, which actually permutes and optimises the actions on each participant. With the types of messages being distinguished between dependent and independent
钟发荣，男，教授
教育背景
Ø 1982.9-1986.6 山东大学计算机科学系计算机科学专业，本科，获理学士学位
Ø 1991.9-1994.4 上海交通大学计算机科学与工程系，计算机软件专业重写系统方向攻读硕士研究生，获工学硕士学位
Ø 2000.9-2005.1 上海交通大学计算机科学与工程系，计算机软件与理论专业移动进程演算方向攻读博士研究生，获工学博士学位
工作经历
Ø 1986.7-1991.8 浙江师范大学计算机中心，助教
Ø 1994.4-2000.8 浙江师范大学计算机科学系，助教、讲师、副教授，其中，1998.3-1998.7 香港城市大学计算机科学系访问
Ø 2005.1-至今 浙江师范大学数理与信息工程学院，副教授、教授
、学习工作经历、现任职务职称等
主讲本科课程：计算机图形学、数据结构、编译原理、人工智能
主讲研究生课程：高级操作系统、并行计算理论
l 移动进程演算
l 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 (05489513208)
2． 钟发荣，贾浻，陈建明，傅育熙. 消除有限容量演算中的强干扰，上海交通大学学报，ISSN 1006-2467，39(8)：1317-1321，2005.8. EI(05399387313)
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(04458446468)，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(073210746695)
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(04208164568)
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(080611078753)，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(082511322595)
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(082311303323)
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(20091612034567)
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(20091311984306)
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(20100312642439)
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(11049804)
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
已毕业研究生7人，在读6人
