Teorii͡a︡ programmirovanii͡a︡ i sredstva opisanii͡a︡ parallelizma diskretnykh sistem | lit.salon