Keyphrases
Liveness
100%
Work Practices
50%
Cooperative Work
50%
Computational Artifacts
50%
Modular Process
50%
Type Systems
50%
Dynamic Condition Response Graphs
50%
Recursion
50%
Type Checking
50%
Process-aware Information Systems
50%
Collaborative Process
50%
Design Basis
50%
Event-based
32%
Response Process
30%
Instantiation
30%
Request-response
25%
Session Types
25%
Process Language
20%
Industrial Partner
20%
Svar
16%
Fundaments
16%
Blotting
16%
Kommunikation
16%
Forst
16%
Message Passing
12%
Data-centric
12%
Lock-free
12%
Infinite-state Systems
12%
Communicating Processes
12%
Deadlock
12%
Liveness Properties
12%
Calculus
12%
External Events
12%
BPMN
12%
Internal Data
12%
Process Calculi
12%
Well-founded
10%
Formal Theory
10%
Omega-regular Languages
10%
Electronic Case Management
10%
Runtime Adaptation
10%
Operational Semantics
10%
Expressiveness
10%
Management Solutions
10%
Undecidable
10%
Turing Complete
10%
Adaptation
10%
Modularity
10%
Prototype Implementation
10%
Computer Science
Liveness
83%
Information System
50%
Instantiation
50%
Type Systems
50%
Type Checking
50%
Communicating Process
16%
Message Passing
16%
Internal Data
16%
Operational Semantics
16%
Regular Language
16%
Process Model
16%
Formalization
16%
Business Process Model and Notation
16%
Concrete Example
16%
Liveness Property
16%