In the paper a language and a calculus based on Gentzen's sequenzen method is
suggested. The application side of the language is obtained as a further abstraction of the …

For an independent representation of the constraints on processes in distributed system
parts the formalism of Loosely Coupled Systems is introduced. The event structure is derived …

The problems related to distributed systems belong in general to the crucial ones in the
design of computer systems. A general model which simplifies an efficient design of such …

In this paper, we present software tools for designing and realizing distributed systems in
process control. Our main purpose is to allow the definition of the system without paying …

AG Butkovskiy, “Control of distributed systems (survey)”, Avtomat. i Telemekh., 1979, no. 11,
16–65; Autom. Remote Control, 40:11 (1980), 1568–1608 Avtomatika i Telemekhanika RUS …

A programming methodology for distributed computer complexes is considered. A two-stage
programming scheme is suggested where the stage of applied programming is separated …

In a time of multiprocessor machines, message switching networks and process control
programming tasks, the foundations of programming distributed systems are among the …

At some abstraction level a distributed computation can be modeled as a partial order on a
set of observable events. This paper presents an analysis technique which can be …

A number of distinct views of distributed systems and ways for their formal modelling are
explained, discussed, and related. By this, in particular, an attempt is undertaken to unify …

Distributed computer control systems (DCCS) have a number of potential advantages over
centralised systems, especially where the application is itself physically distributed. A …