SMS versenden: Analysis of parallel computation correctness with the use of PS-net; Korus`98. Abstracts