Tijs Slaats

Available identifiers

Publication	Date of Publication	Type
Declarative choreographies and liveness	2024-02-06	Paper
Transforming dynamic condition response graphs to safe Petri nets	2023-11-16	Paper
Business process compliance using reference models of law	2022-10-13	Paper
Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes	2019-12-19	Paper
Replication, refinement \& reachability: complexity in dynamic condition-response graphs	2018-09-06	Paper
Type-checking liveness for collaborative processes with bounded and unbounded recursion	2016-03-03	Paper
Contracts for cross-organizational workflows as timed dynamic condition response graphs	2014-02-25	Paper
Nested dynamic condition response graphs	2012-06-29	Paper

This page was built for person: Tijs Slaats