位置:成果数据库 > 期刊 > 期刊详情页
High-level distributed coordination via distributed Haskell
  • ISSN号:1548-7709
  • 期刊名称:《通讯和计算机:中英文版》
  • 时间:0
  • 分类:TP311.1[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]College of Computer, Nanjing University of Posts and Telecom, Nanjing 210003, China, [2]Dep. of Compute, Guilin University of Electrronic Technology, Guilin 541004, China
  • 相关基金:Acknowledgements: This work is supported in part by the National Natural Science Foundation of China (No. 60503020), the Natural Science Research Plan for Jiangsu High School (No 05KJD520151), and 0pening Foundation of Jiangsu Key Laboratory of Computer Information Processing Technology in Soochow University, Guangxi Natural Science Foundation of China (No. 0542036).
中文摘要:

ZHANG Ying-zhou (1978-), research fields: software formal E-mail:zhangyz@ njupt.edu.cn. male, Ph.D., lecture; main methods, program slicing; ZHANG Wei-feng (1974-), male, Ph.D., associate professor; main research fields: information retrieving, text processing. ZHOU Guo-qiang (1968-), male, Ph.D. candidate, lecture; main research fields: information security, distributed computing. QIAN Jun-yan (1973-), male, Ph.D., associate professor; main research fields: software engineering, model checking.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《通讯和计算机:中英文版》
  • 主管单位:
  • 主办单位:美国大卫出版公司
  • 主编:袁天祜
  • 地址:武汉洪山区卓刀泉北路金桥花园C座4楼
  • 邮编:430071
  • 邮箱:usachinant@yahoo.com.cn shellyshen_29@yahoo.com
  • 电话:027-87741602
  • 国际标准刊号:ISSN:1548-7709
  • 国内统一刊号:ISSN:
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:161