Guarded recursive datatype constructors
- 期刊名称ACM SIGPLAN Notices
- 作者Xi, Hongwei; Chen, Chiyan; Chen, Gang
- 卷第38卷
- 期第1期
- 印刷ISSN0362-1340
- 文件大小257.32KB
- 发表时间2003-01-15
- DOI10.1145/640128.604150
- 页码224-235
[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Management of Knowledge Intensive Business ProcessesDesel, Jörg; Pernici, Barbara; Weske, Mathias · 2004
[Lecture Notes in Computer Science] Business Process Management Volume 3080 || OPCATeam – Collaborative Business Process Modeling with OPMDesel, Jörg; Pernici, Barbara; Weske, Mathias · 2004
[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Cohesion and Coupling Metrics for Workflow Process DesignDesel, Jörg; Pernici, Barbara; Weske, Mathias · 2004
[Lecture Notes in Computer Science] Business Process Management Volume 3080 || On Dealing with Structural Conflicts between Process Type and Instance ChangesDesel, Jörg; Pernici, Barbara; Weske, Mathias · 2004
[Lecture Notes in Computer Science] Business Process Management Volume 3080 || A Workflow-Oriented System Architecture for the Management of Container TransportationDesel, Jörg; Pernici, Barbara; Weske, Mathias · 2004
[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Workload Balancing on Agents for Business Process Efficiency Based on Stochastic ModelDesel, Jörg; Pernici, Barbara; Weske, Mathias · 2004
[Lecture Notes in Computer Science] Business Process Management Volume 3080 || Goal-Oriented Business Process Modeling with EPCs and Value-Focused ThinkingDesel, Jörg; Pernici, Barbara; Weske, Mathias · 2004