百晓学者学者目录

龙慧云

副教授、博士生导师、硕士生导师,贵州大学

精选作品

期刊论文

2011

Checking compatibility of BPEL4WS based on CCS

Huiyun Long, Dan Ma

International Conference on System science, Engineering design and Manufacturing informatization

2009

A Typed Process Calculus for Dynamic Web Data

Huiyun Long, Jianshi Li

2009

A Process Algebra Approach of BPEL4WS

Huiyun Long, Jianshi Li

Journal of Information and Computing Science

此主页由公开资料整理,尚未经学者本人认领。