Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes.

Sren Debois, Thomas T. Hildebrandt, Tijs Slaats

Browse the full FM paper archive.