[1.3] ============================================= AMAST News, Sample Issue 01

      Theoretical Computer Science 140:1 (March 1995)
      Special Issue AMAST'93 (G. Scollo and T. Rus, guest editors)

The papers in this issue are revised and extended versions of communications
presented at the Third International Conference on Algebraic Methodology and
Software Technology, held on June 21--25, 1993, at the University of Twente,
Enschede, The Netherlands.

Among the objectives of the conference, were: to consolidate and expand
the trend created by the international dialogue established by the previous
two AMAST conferences, and to make a new step toward transforming algebraic
methodology into software technology.

The six papers selected for this issue testify to the successful achievement
of the objectives of the conference. The topics they address are diverse; the
approaches, problems and results they propose are novel and, though seemingly
unconnected, together they yield a coherent enrichment of the potential of
using algebraic methods in the science and technology of computing.

  D. Pigozzi and A. Salibra
  Lambda abstraction algebras: representation theorems

  F. Laroussinie, S. Pinchinat and Ph. Schnoebelen
  Translations between modal logics of reactive systems

  R. Gorrieri, M. Roccetti and E. Stancampiano
  A theory of processes with durational actions

  A. Mokkedem and D. Mery
  On using temporal logic for refinement and compositional
  verification of concurrent systems

  M. Navarro, F. Orejas and A. Sanchez
  On the correctness of modular systems

  E.G. Wagner,
  On the role of memory in object-oriented languages