Analysis of parallel computation correctness with the use of PS-net; Korus`98. Abstracts - Markov N. G. Nikolai Grigorevich (1998, 1998)