进程演算


【 在 xiaolee (潜水员) 的大作中提到: 】
: 请问，用什么做webservices的形式化描述好呢？
: 是用传统的离散系统的描述方法，比如自动机或者petri网来描述好呢？
: 还是用语义网里面的形式化描述好呢？
: ...................
--
FROM 202.119.32.*