Semantic methods for the analysis of distributed systems

Moscow

357 pp.

Semantic methods for the analysis of distributed systems — Korablin, Yu. P. — 1994 — Russian Dissertation Library