## A recursive parallel programming language and its application to algebraic computations

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,...

## Analysis of equality relationships: proofs and examples

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...

## Model of teaching and program-language complex in educational informatics

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...

## An associative algorithm for finding a maximum-weight cycle in directed graphs

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...

## Behaviour analysis of parametric time Petri nets

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...

## Coloured cause-effect structures

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.

## Investigation of weak equivalence notions for event structures

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...