An Operational Approach to the Semantics of Classes: Application to Type Checking J.-C. Royer OriginalPaper Pages: 127 - 147
Characteristics of Optical Text Recognition Programs V. L. ArlazarovA. S. LoginovO. A. Slavin OriginalPaper Pages: 148 - 161
The Problem of Schedule Construction in the Joint Design of Hardware and Software V. A. Kostenko OriginalPaper Pages: 162 - 173
Logical Time in Distributed Software Systems I. A. ZhuklinetsD. A. Khotimsky OriginalPaper Pages: 174 - 184