Efficient vector time with dynamic process creation and termination
scientific article; zbMATH DE number 1293909