Computer Science
Process Management
100%
Liveness
100%
discrete-time
100%
Verification Environment
100%
Transition System
100%
Case Study
100%
Process Model
100%
Workflow Process
100%
Liveness Property
100%
Deadlock
100%
State Transition
100%
Reactive System
100%
Ubiquitous Computing
33%
Domain-Specific Modeling Language
33%
Keyphrases
Inter-organizational Workflow
100%
Bigraphical Reactive Systems
100%
Bigraphs
100%
Dynamic Condition Response Graphs
100%
Reaction Rules
33%
Ubiquitous Computing
33%
Verification Tool
33%
Computing Applications
33%
Systems-based
33%
Domain-specific Languages
33%
Checking Algorithm
33%
Safety Properties
12%
General Techniques
12%
Deadlock
12%
Discrete-time
12%
Workflow Process
12%
Liveness Properties
12%
Cross-organization
12%
Liveness
12%
Graph Process
12%