Computer Science
Business Process
100%
Healthcare Service
50%
Workflow Management System
50%
Concurrency
50%
Operational Semantics
50%
Case Study
50%
Event Structure
50%
Control Flow
50%
model checker
50%
Dynamic Environment
50%
Regular Language
50%
Management Domain
50%
Current Business Process
50%
Workflow Engine
50%
Liveness Property
50%
Complex Environment
50%
Execution State
50%
Synchronous Communication
50%
Unexpected Behavior
50%
Keyphrases
Dynamic Condition Response Graphs
100%
DCR Graphs
100%
Declarative Workflow
100%
Business Process
50%
Healthcare
33%
Distributed Execution
33%
Pervasive Healthcare
16%
Industrial Partner
16%
Health Care Services
16%
Strategic Research
16%
Declarative Model
16%
Workflow Management System
16%
Safety Properties
16%
Formal Techniques
16%
Research Councils
16%
Event-based
16%
PhD Project
16%
Prototyping Tools
16%
Operational Semantics
16%
Event Structure
16%
Control Flow
16%
Dynamic Environment
16%
Timekeeping
16%
Regular Languages
16%
Well Structure
16%
Collaborative Cross
16%
Process Technology
16%
Wide Audience
16%
Liveness Properties
16%
Multi-instance
16%
Concurrency Model
16%
SPIN Model Checker
16%
Process Modeling
16%
Unexpected Behavior
16%
Synchronous Communication
16%
Inter-organizational Workflow
16%
Workflow Engine
16%
Graph-based
16%