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

Author: Søren Debois, Thomas T. Hildebrandt, Tijs Slaats Conference Journal: Conference: International Symposium on Formal Methods Article Link: