Semantic methods for the analysis of distributed systemsKorablin, Yu. P., 1994, Doctor of Sciences dissertationMoscow357 pp.