共 50 条
- [1] The NestFlow Interpretation of Workflow Control-Flow Patterns 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) TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS (TACAS 2016), 2016, 9636 : 463 - 479
- [3] Alternative Representations of Workflow Control-Flow Patterns Using HOPS PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, 2010, 64 : 115 - +
- [4] A CASE STUDY IN WORKFLOW MODELLING USING CONTROL-FLOW PATTERNS 22ND EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2010), 2010, : 265 - 274
- [5] Demand Control-Flow Analysis VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2019, 2019, 11388 : 226 - 246
- [6] Control-Flow Bending: On the Effectiveness of Control-Flow Integrity PROCEEDINGS OF THE 24TH USENIX SECURITY SYMPOSIUM, 2015, : 161 - 176
- [9] Control-flow analysis in cubic time PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2001, 2028 : 252 - 268