Contents
Programming and Computer Software

Vol. 25, No. 4, 1999

Simultaneous English language translation of the journal is available from “ / Interperiodica” (Russia).
Distributed worldwide by Kluwer Academic/Plenum Publishers. Programming and Computer Software ISSN 0361-7688.

Foreword to the Special Issue on Formal Semantics and Verification of Programs and Systems

A. V. Zamulin and V. A. Nepomnyashchii p. 183

A Method of Elimination of Data Structures Based on Formula Rewriting Systems

I. S. Anureev p. 184  abstract

A Method for the Parametric Verification of the Behavior of Time Petri Nets

I. B. Virbitskaite and E. A. Pokozy p. 193  abstract

Dynamical Systems with Implicit State

M.-C. Gaudel, C. Khoury, and A. Zamulin p. 204  abstract

Causal Semantics for Petri Nets with Contacts

I. A. Lomazova p. 214  abstract

Specification and Verification of Distributed Systems by Means of the Elementary-REAL Language

V. A. Nepomnyashchii, N. V. Shilov,, and E. V. Bodin p. 222  abstract

Verification of Distributed Programs of the SPMD-type on the Basis of the L-programs Formalism

S. V. Pankov and S. P. Kritskii p. 233  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.