Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Sorter
Keyphrases
Cross-organizational Processes
100%
Process-aware
100%
Declarative Model
100%
Model-driven Development
100%
Liveness
100%
Workflow Management System
66%
Modular Process
50%
Type Systems
50%
Dynamic Condition Response Graphs
50%
Recursion
50%
Type Checking
50%
Process-aware Information Systems
50%
Collaborative Process
50%
Worker Model
33%
Efficient Collaboration
33%
Model-based Design
33%
Knowledge Workers
33%
Distributed Workflow Management System
33%
Business Process Model and Notation (BPMN)
33%
Cross-organizational
33%
Event-based
32%
Instantiation
30%
Request-response
25%
Session Types
25%
Process Language
20%
Industrial Partner
20%
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%
Solution-focused
10%
Computer Science
Workflow Management System
100%
model-driven development
100%
Liveness
83%
Instantiation
50%
Type Systems
50%
Type Checking
50%
Information Systems
50%
Collaboration
50%
Process Notation
33%
Business Process
33%
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%
Liveness Property
16%
Proof
16%