Author(s)
Bodin Evgeny
Abstract

The work is devoted to a tool for simulation of executional specifications of distributed systems, simulation and testing of the behaviour of these systems. The systems are described in terms of the REAL language developed in A.P. Ershov Institute of Informatics Systems, SD RAS .

File
bodin.pdf1.24 MB
Issue
Computer Science, № 12, 1999
Pages
6-9