Søren Debois

Available identifiers

Publication	Date of Publication	Type
Declarative choreographies and liveness	2024-02-06	Paper
Business process compliance using reference models of law	2022-10-13	Paper
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems	2021-03-15	Paper
A graphical approach to progress for structured communication in web services	2021-02-24	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
Imperative-program transformation by instrumented-interpreter specialization	2009-08-04	Paper
On the Construction of Sorted Reactive Systems	2008-11-25	Paper
Sortings for Reactive Systems	2007-09-04	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper

This page was built for person: Søren Debois