1 citations to https://www.mathnet.ru/eng/at2509

1. Babichev A.V., Lebedev V.G., “Model-100: Specification Language for Interacting Processes”, Program. Comput. Softw., 33:1 (2007), 2–13