位置：成果数据库 > 期刊 > 期刊详情页
基于时序可中断π演算的 BPEL 和BPEL4People 建模
  • 期刊名称：北京大学学报(自然科学版)
  • 时间：0
  • 页码：540-552
  • 语言：中文
  • 相关项目：基于Petri网的构件组装正确性研究
作者： 金暐|王捍贫|朱梅霞|
同期刊论文项目
基于Petri网的构件组装正确性研究
期刊论文 9 会议论文 12
同项目期刊论文
A New Model for Model Checking, Cycle Weighted Kripke Structure
死路删除语义下的WS-BPEL流程的建模
A Fuzzy Petri-Nets Model for Computing With Words
The formal analysis of sequence diagram by an object-oriented timed transition system
时序π演算及其对ＭＡＲＴＥ顺序图的建模
Bisimulations for fuzzy-transition systems
Approximation algorithm for maximum edge coloring