共 50 条
- [1] The NestFlow Interpretation of Workflow Control-Flow Patterns [J]. ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 2011, 6909 : 316 - 332
- [2] Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets) [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 463 - 479
- [3] A CASE STUDY IN WORKFLOW MODELLING USING CONTROL-FLOW PATTERNS [J]. 22ND EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2010), 2010, : 265 - 274
- [4] Alternative Representations of Workflow Control-Flow Patterns Using HOPS [J]. PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, 2010, 64 : 115 - +
- [5] Demand Control-Flow Analysis [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 226 - 246
- [6] Control-Flow Bending: On the Effectiveness of Control-Flow Integrity [J]. PROCEEDINGS OF THE 24TH USENIX SECURITY SYMPOSIUM, 2015, : 161 - 176
- [10] Control-flow analysis in cubic time [J]. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 252 - 268