Computer Science, № 11, 1999

This report presents an informal description of the GSTC language and some methods of recursive parallel programming language which enable us to organize parallelizing with the help of a set of basic structures (stencils). This makes it possible to design effective recursive parallel programs and to create, on their basis...

In this article, we discuss the analysis of equality relationships for program terms. We extend a description of the analysis presented in last articles of the author and give attention to some new aspects which are not widely considered yet. In particular, among other illustrating examples, a program is given...

The history of informatics in the leading countries as well as our twelve-year experience shows that the initial stage of the computerization era is practically connected with the level of the computer competence. Educational informatics provides elementary computer knowledge. This course should be based on a special concept (model) of...

In this paper we propose a novel associative parallel algorithm for selecting a directed cycle of the maximal weight on an abstract model of the SIMD type with vertical data processing (the STAE-machine). This algorithm is represented as the corresponding STAR procedure whose correctness is verified and time complexity is...

We introduce a new notion of parametric time Petri nets, an extension of time Petri nets whose transitions are labelled with parametric time restrictions. Further, a time behaviour analysis algorithm for the real time branching time temporal logic TCTL and a one-safe parametric time Petri net is proposed. The result...

We present an extension of the class of cause-effect structures by coloured tokens. As an example of coloured c-e structure we use the well-known problem of dining philosophers. Relationships between the classes of coloured c-e structures and coloured Petri Nets introduced by K. Jensen are investigated.

The notion of bisimulation equivalence has been introduced by D.M.R.Park. Informally, two processes are bisimilar if their possible behaviors have the same branching structure, i.e. any behavior of one system can be reproduced by the other system. In this paper, in order to get equivalence notions nicely adapted to peculiarities...