And/or-convexity: a graph convexity based on processes and deadlock models
scientific article; zbMATH DE number 6886497