The following pages link to Tijs Slaats (Q1671246):
Displayed 7 items.
- Replication, refinement \& reachability: complexity in dynamic condition-response graphs (Q1671247) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion (Q2790164) (← links)
- Nested Dynamic Condition Response Graphs (Q2894574) (← links)
- Business Process Compliance Using Reference Models of Law (Q5039540) (← links)
- Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (Q5206949) (← links)
- Declarative choreographies and liveness (Q6190184) (← links)